CoRR, May 2013
Rozaimi Zakaria, Abd. Fatah Wahab, R. U. Gobithaasan:
Perfectly normal type-2 fuzzy interpolation B-spline curve.

Richard Gibson:
Regret Minimization in Non-Zero-Sum Games with Applications to Building Champion Multiplayer Computer Poker Agents.
Kevin S. Xu, Mark Kliger, Yilun Chen, Peter J. Woolf, Alfred O. Hero III:
Revealing social networks of spammers through spectral clustering.

Michal Feldman, David Kempe, Brendan Lucier, Renato Paes Leme:
Pricing Public Goods for Private Sale.

Marthinus Christoffel du Plessis, Masashi Sugiyama:
Clustering Unclustered Data: Unsupervised Binary Labeling of Two Datasets Having Different Class Balances.
David Eppstein, Michael T. Goodrich, Daniel S. Hirschberg:
Combinatorial Pair Testing: Distinguishing Workers from Slackers.
Valérie Berthé, Clelia de Felice, Francesco Dolce, Dominique Perrin, Christophe Reutenauer, Giuseppina Rindone:
Return words in interval exchange transformations.
Mate Boban, João Barros, Ozan K. Tonguz:
Geometry-Based Vehicle-to-Vehicle Channel Modeling for Large-Scale Simulation.
Valérie Berthé, Clelia de Felice, Francesco Dolce, Dominique Perrin, Christophe Reutenauer, Giuseppina Rindone:
Bifix codes and the finite index basis property.


Junting Chen, Vincent K. N. Lau:
Convergence Analysis of Mixed Timescale Cross-Layer Stochastic Optimization.
Markus J. Bauer, Anthony J. Cox, Giovanna Rosone, Marinella Sciortino:
Lightweight LCP Construction for Next-Generation Sequencing Datasets.
Ahmad Biniaz, Anil Maheshwari, Michiel H. M. Smid:
An Optimal Algorithm for the Euclidean Bottleneck Full Steiner Tree Problem.
Chiu-Wing Sham, Xu Chen, Francis Chung-Ming Lau, Yue Zhao, Wai Man Tam:
A 2.0 Gb/s Throughput Decoder for QC-LDPC Convolutional Codes.
Chantal Cherifi, Yvan Rivierre, Jean François Santucci:
A Community Based Algorithm for Large Scale Web Service Composition.

Chantal Cherifi, Vincent Labatut, Jean François Santucci:
Benefits of Semantics on Web Service Composition from a Complex Network Perspective.
Cihan Aksoy, Vincent Labatut, Chantal Cherifi, Jean François Santucci:
MATAWS: A Multimodal Approach for Automatic WS Semantic Annotation.
Chantal Cherifi, Vincent Labatut, Jean François Santucci:
Topological Properties of Web Services Similarity Networks.

Aaron Gember, Anand Krishnamurthy, Saul St. John, Robert Grandl, Xiaoyang Gao, Ashok Anand, Theophilus Benson, Aditya Akella, Vyas Sekar:
Stratos: A Network-Aware Orchestration Layer for Middleboxes in the Cloud.
Tamal Das, Marek Drogon, Admela Jukan, Marco Hoffmann:
An Agent-based Modeling Approach of Network Migration to New Technologies.
Chantal Cherifi, Vincent Labatut, Jean François Santucci:
Web Services Dependency Networks Analysis.
David I. Spivak:
The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits.
Andrew Adamatzky, Genaro Juárez Martínez:
Bio-imitaiton of Mexican migration routes to the USA with slime mould on 3D terrains.

Vladimir V. Gusev, Marina I. Maslennikova, Elena V. Pribavkina:
Finitely generated ideal languages and synchronizing automata.
Mauro Femminella, Gianluca Reali, Walter Colitti, Kris Steenhaut:
A Markovian Model for Assessing the Consistency of Vehicular Storage Systems.
Mauro Femminella, Gianluca Reali, Dario Valocchi, Roberto Francescangeli, Henning Schulzrinne:
Advanced Caching for Distributing Sensor Data through Programmable Nodes.
Arezoo Aghaei Chadegani, Hadi Salehi, Melor Md. Yunus, Hadi Farhadi, Masood Fooladi, Maryam Farhadi, Nader Ale Ebrahim:
A Comparison between Two Main Academic Literature Collections: Web of Science and Scopus Databases.
Masood Fooladi, Hadi Salehi, Melor Md. Yunus, Maryam Farhadi, Arezoo Aghaei Chadegani, Hadi Farhadi, Nader Ale Ebrahim:
Does Criticisms Overcome the Praises of Journal Impact Factor?
Prasanna Chaporkar, Alexandre Proutière:
Optimal Distributed Scheduling in Wireless Networks under the SINR interference model.
Hugo Reboredo, João M. F. Xavier, Miguel R. D. Rodrigues:
Filter Design with Secrecy Constraints: The MIMO Gaussian Wiretap Channel.
Somayeh Danafar, Paola M. V. Rancoita, Tobias Glasmachers, Kevin Whittingstall, Jürgen Schmidhuber:
Testing Hypotheses by Regularized Maximum Mean Discrepancy.
Mathieu Chapelle, Mathieu Liedloff, Ioan Todinca, Yngve Villanger:
TREEWIDTH and PATHWIDTH parameterized by vertex cover.
Julien Leroy:
An S-adic characterization of minimal subshifts with first difference of complexity 1 ≤ p(n+1) - p(n) ≤ 2.
Emily S. Darling, David Shiffman, Isabelle M. Côté, Joshua A. Drew:
The role of twitter in the life cycle of a scientific publication.


Chantal Cherifi, Jean François Santucci:
On Topological Structure of Web Services Networks for Composition.
A. V. Choudhari, N. A. Pande, M. R. Gupta:
Feasibility Analysis of Low Cost Graphical Processing Units for Electromagnetic Field Simulations by Finite Difference Time Domain Method.
Jaemin Han, Chih-Chun Wang, Ness B. Shroff:
Graph-Theoretic Characterization of The Feasibility of The Precoding-Based 3-Unicast Interference Alignment Scheme.
Ruoming Jin, Ning Ruan, Bo You, Haixun Wang:
Hub-Accelerator: Fast and Exact Shortest Path Computation in Large Social Networks.
Zhi Li, Xiaoqing Zhu, Joshua Gahm, Rong Pan, Hao Hu, Ali C. Begen, Dave Oran:
Probe and Adapt: Rate Adaptation for HTTP Video Streaming At Scale.
Chris Whidden, Robert G. Beiko, Norbert Zeh:
Fixed-Parameter and Approximation Algorithms for Maximum Agreement Forests of Multifurcating Trees.
Ruoming Jin, Yelong Shen, Lin Liu, Xue-wen Chen:
Limiting the Neighborhood: De-Small-World Network for Outbreak Prevention.

Robert Kleinberg, Yang Yuan:
On the Ratio of Revenue to Welfare in Single-Parameter Mechanism Design.
Marco Bernardo, Rocco De Nicola, Michele Loreti:
A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities".
Shang Shang, Yuk Hui, Pan Hui, Paul W. Cuff, Sanjeev R. Kulkarni:
Privacy Preserving Recommendation System Based on Groups.
Stephen Clark, Bob Coecke, Edward Grefenstette, Stephen Pulman, Mehrnoosh Sadrzadeh:
A quantum teleportation inspired algorithm produces sentence meaning from word meaning and grammatical structure.
(Withdrawn) Extending Modern SAT Solvers for Enumerating All Models.
Changhong Zhao, Ufuk Topcu, Na Li, Steven H. Low:
Power System Dynamics as Primal-Dual Algorithm for Optimal Load Control.
Taha Hassan, Fahad Javed, Naveed Arshad:
An Empirical Investigation of V-I Trajectory based Load Signatures for Non-Intrusive Load Monitoring.
Shuchi Chawla, Jason D. Hartline, David L. Malec, Balasubramanian Sivan:
Prior-Independent Mechanisms for Scheduling.
Hu Fu, Brendan Lucier, Balasubramanian Sivan, Vasilis Syrgkanis:
Cost-Recovering Bayesian Algorithmic Mechanism Design.
Alireza Mahdian, Richard Han, Qin Lv, Shivakant Mishra:
Results from a Practical Deployment of the MyZone Decentralized P2P Social Network.
Redouane Sassioui, Aata El Hamss, Leszek Szczecinski, Mustapha Benjillali:
Resource Allocation for Downlink Channel Transmission Based on Superposition Coding.

Deqing Wang, Hui Zhang, Rui Liu, Weifeng Lv:
Feature Selection Based on Term Frequency and T-Test for Text Categorization.
Laurent Bulteau, Christian Komusiewicz:
Minimum Common String Partition Parameterized by Partition Size is Fixed-Parameter Tractable.
Nikola Serafimovski, Abdelhamid Younis, Raed Mesleh, Pat Chambers, Marco Di Renzo, Cheng-Xiang Wang, Peter M. Grant, Mark A. Beach, Harald Haas:
Practical Implementation of Spatial Modulation.
Ayad Ghany Ismaeel, Raghad Zuhair Yousif, Essa F. Abdallh:
GUI Based Automatic Remote Control of Gas Reduction System using PIC Microcontroller.
Joan Boyar, Sushmita Gupta, Kim S. Larsen:
Relative Interval Analysis of Paging Algorithms on Access Graphs.
Ayad Ghany Ismaeel, Sanaa Enwaya Rizqo:
Optimal Productivity of Succoring Patients System using Mobile GIS Based on WCF Technology.
Chantal Cherifi, Vincent Labatut, Jean François Santucci:
On Flexible Web Services Composition Networks.
Eyke Hüllermeier:
Learning from Imprecise and Fuzzy Observations: Data Disambiguation through Generalized Loss Minimization.
Nima Asadi, Jimmy J. Lin:
Fast, Incremental Inverted Indexing in Main Memory for Web-Scale Collections.
Onur Tan, Deniz Gündüz, H. Vincent Poor:
Increasing Smart Meter Privacy Through Energy Harvesting and Storage Devices.
Philipp Kindermann, Benjamin Niedermann, Ignaz Rutter, Marcus Schaefer, André Schulz, Alexander Wolff:
Multi-Sided Boundary Labeling.
Michael Hamann, Tanja Hartmann, Dorothea Wagner:
Hierarchies of Predominantly Connected Communities.
Matthew Crossley, Andy Nisbet, Martyn Amos:
Quantifying the Impact of Parameter Tuning on Nature-Inspired Algorithms.
Magnus Bordewich, Catherine S. Greenhill, Viresh Patel:
Mixing of the Glauber dynamics for the ferromagnetic Potts model.
Jonathan D. Hauenstein, Christian Ikenmeyer, J. M. Landsberg:
Computer aided methods for lower bounds on the border rank.
Daniel Dietsch, Andreas Podelski, Jaechang Nam, Pantelis M. Papadopoulos, Martin Schäf:
Monitoring Student Activity in Collaborative Software Development.
Manas Paul, Jyotsna Kumar Mandal:
A Novel Symmetric Key Cryptographic Technique at Bit Level Based on Spiral Matrix Concept.
YuLong Zou, Xianbin Wang, Weiming Shen:
Optimal Relay Selection for Physical-Layer Security in Cooperative Wireless Networks.
Jinchun Zhan, Namrata Vaswani:
Time Invariant Error Bounds for Modified-CS based Sparse Signal Sequence Recovery.
Yossi Gilad, Amir Herzberg, Haya Shulman:
Off-Path Hacking: The Illusion of Challenge-Response Authentication.
Sarasvathi V., N. Ch. S. N. Iyengar, Snehanshu Saha:
Interference Aware Channel Assignmnet Using Edge Coloring in Multi-Channel Multi-Radio Wireless Mesh Networks.
Chun Meng, Abhik Kumar Das, Abinesh Ramakrishnan, Syed Ali Jafar, Athina Markopoulou, Sriram Vishwanath:
Precoding-Based Network Alignment For Three Unicast Sessions.
Sameer Pawar, Kannan Ramchandran:
Computing a k-sparse n-length Discrete Fourier Transform using at most 4k samples and O(k log k) complexity.
Weifeng Liu, Xiaomeng Wang, Yanjiang Wang:
Dictionary learning based image enhancement for rarity detection.
Hemal Shah, Yogeshwar Kosta, Vikrant Patel:
Characterizing and Evaluation :Temporal properties of real and synthetic datasets for DTN.


Luca Barletta, Flaminio Borgonovo, Matteo Cesana:
An Asymptotically Efficient Backlog Estimate for Dynamic Frame Aloha.

M. A. Khayer Azad, Md. Shafiqul Islam, M. M. A. Hashem:
On Comparison between Evolutionary Programming Network-based Learning and Novel Evolution Strategy Algorithm-based Learning.
Debajyoti Mukhopadhyay, Manoj Sharma, Gajanan Joshi, Trupti Pagare, Adarsha Palwe:
Intelligent Agent Based Semantic Web in Cloud Computing Environment.



Russell Ford, Changkyu Kim, Sundeep Rangan:
Opportunistic Third-Party Backhaul for Cellular Wireless Networks.
Wm. G. Hoover, Carol Griswold Hoover:
Time-Reversible Random Number Generators : Solution of Our Challenge by Federico Ricci-Tersenghi.
Yuan Zhang:
Optimization Approach to Parametric Tuning of Power System Stabilizer Based on Trajectory Sensitivity Analysis.
Charith Perera, Arkady B. Zaslavsky, Peter Christen, Dimitrios Georgakopoulos:
Context Aware Computing for The Internet of Things: A Survey.
Ji Won Yoon, Nial Friel:
Efficient Estimation of the number of neighbours in Probabilistic K Nearest Neighbour Classification.
Vincent K. N. Lau, Fan Zhang, Ying Cui:
Low Complexity Delay-Constrained Beamforming for Multi-User MIMO Systems with Imperfect CSIT.
(Withdrawn) Simple Deep Random Model Ensemble.
Andrea Mercurio, Alessandro Di Giorgio, Fabio Purificato:
Optimal Fully Electric Vehicle load balancing with an ADMM algorithm in Smartgrids.
Firas Ajil Jassim, Fawzi H. Altaani:
Hybridization of Otsu Method and Median Filter for Color Image Segmentation.
Jaroslav Horácek, Milan Hladík:
Subsquares Approach - Simple Scheme for Solving Overdetermined Interval Linear Systems.
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
On Rational Closure in Description Logics of Typicality.
Shahriar Etemadi Tajbakhsh, Parastoo Sadeghi:
Random Linear Network Codes for Secrecy over Wireless Broadcast Channels.
Luis I. Reyes Castro, Pratik Chaudhari, Jana Tumova, Sertac Karaman, Emilio Frazzoli, Daniela Rus:
Incremental Sampling-based Algorithm for Minimum-violation Motion Planning.

John Augustine, Anisur Rahaman Molla, Ehab Morsy, Gopal Pandurangan, Peter Robinson, Eli Upfal:
Storage and Search in Dynamic Peer-to-Peer Networks.
Urmila Shrawankar, Vilas M. Thakare:
Acoustic Echo Cancellation Postfilter Design Issues For Speech Recognition System.
Urmila Shrawankar, Vilas M. Thakare:
Techniques for Feature Extraction In Speech Recognition System : A Comparative Study.


Lucas Paletta, Katrin Santner, Gerald Fritz, Albert Hofmann, Gerald Lodron, Georg Thallinger, Heinz Mayer:
A Computer Vision System for Attention Mapping in SLAM based 3D Models.
Mostepha Redouane Khouadjia, Marc Schoenauer, Vincent Vidal, Johann Dréo, Pierre Savéant:
Multi-Objective AI Planning: Comparing Aggregation and Pareto Approaches.
Jiri Filipovic, Matus Madzin, Jan Fousek, Ludek Matyska:
Optimizing CUDA Code By Kernel Fusion---Application on BLAS.
Mohammad Reza Khanzadi, Dan Kuylenstierna, Thomas Eriksson, Herbert Zirath:
Calculation of the Performance of Communication Systems from Measured Oscillator Phase Noise.

Juan Cardelino, Vicent Caselles, Marcelo Bertalmío, Gregory Randall:
A Contrario Selection of Optimal Partitions for Image Segmentation.
Nicolas Robinson-Garcia, Jose G. Moreno-Torres, Daniel Torres-Salinas, Emilio Delgado López-Cózar, Francisco Herrera:
The role of national university rankings in an international context: the case of the I-UGR Rankings of Spanish universities.

Farzad Rezaei, Charalambos D. Charalambous, Photios Stavrou:
Rate Distortion Function for a Class of Relative Entropy Sources.
Edwin Chobot, Daniel Newby, Renee Chandler, Nusaybah Abu-Mulaweh, Chao Chen, Carlos A. Pomalaza-Raez:
Design and Implementation of a Wireless Sensor and Actuator Network for Energy Measurement and Control at Home.
Grasha Jacob, A. Murugan:
An Encryption Scheme with DNA Technology and JPEG Zigzag Coding for Secure Transmission of Images.
Martin Dietzfelbinger, Philipp Woelfel:
Tight Lower Bounds for Greedy Routing in Higher-Dimensional Small-World Grids.

Arnim Bleier, Andreas Strotmann:
Towards an Author-Topic-Term-Model Visualization of 100 Years of German Sociological Society Proceedings.
Anupam Gupta, Kunal Talwar, David Witmer:
Sparsest Cut on Bounded Treewidth Graphs: Algorithms and Hardness Results.




Matías Di Martino, Guzmán Hernández, Marcelo Fiori, Alicia Fernández:
A new framework for optimal classifier design.

Jin-Yi Cai, Zhiguo Fu:
A Collapse Theorem for Holographic Algorithms with Matchgates on Domain Size at Most 4.
Shahriar Etemadi Tajbakhsh, Parastoo Sadeghi, Rodney A. Kennedy:
Centralized and Cooperative Transmission of Secure Multiple Unicasts using Network Coding.
Urmila Shrawankar, Vilas M. Thakare:
Speech Enhancement Modeling Towards Robust Speech Recognition System.
Xiaoxiao Wu, Wing-Kin Ma, Anthony Man-Cho So:
Achievable Rate Derivations and Further Simulation Results for "Physical-Layer Multicasting by Stochastic Transmit Beamforming and Alamouti Space-Time Coding".

Ahmad Gharanjik, Bhavani Shankar Mysore Rama Rao, Pantelis-Daniel M. Arapoglou, Björn E. Ottersten:
Gateway Switching in Q/V Band Satellite Feeder Links.
Renyuan Zhang, Kai Cai, Yongmei Gan, Zhaoan Wang, Walter Murray Wonham:
Supervision Localization of Timed Discrete-Event Systems.
Mehmet Kayaoglu, Berkay Topcu, Umut Uludag:
Standard Fingerprint Databases: Manual Minutiae Labeling and Matcher Performance Analyses.
Pier Stanislao Paolucci, Iuliana Bacivarov, Gert Goossens, Rainer Leupers, Frédéric Rousseau, Christoph Schumacher, Lothar Thiele, Piero Vicini:
EURETILE 2010-2012 summary: first three years of activity of the European Reference Tiled Experiment.
Rushan Ziatdinov, Kenjiro T. Miura:
On the variety of planar spirals and their applications in computer aided design.
Bernhard Haslhofer, Simeon Warner, Carl Lagoze, Martin Klein, Robert Sanderson, Michael L. Nelson, Herbert Van de Sompel:
ResourceSync: Leveraging Sitemaps for Resource Synchronization.
Abdelhamid Younis, Sinan Sinanovic, Marco Di Renzo, Raed Mesleh, Harald Haas:
Generalised Sphere Decoding for Spatial Modulation.
Daniel Torres-Salinas, Nicolas Robinson-Garcia, Alvaro Cabezas-Clavijo, Evaristo Jiménez-Contreras:
Analyzing the citation characteristics of books: edited books, book series and types of publishers in the Book Citation Index.
Alvaro Cabezas-Clavijo, Nicolas Robinson-Garcia, Daniel Torres-Salinas, Evaristo Jiménez-Contreras, Thomas Mikulka, Christian Gumpenberger, Ambros Wemisch, Juan Gorraiz:
Most borrowed is most cited? Library loan statistics as a proxy for monograph selection in citation indexes.
Paul de Kerret, Maxime Guillaud, David Gesbert:
Degrees of Freedom of Certain Interference Alignment Schemes with Distributed CSIT.
Hong-Han Shuai, De-Nian Yang, Philip S. Yu, Ming-Syan Chen:
Willingness Optimization for Social Group Activity.
Ney Renau-Ferrer, Céline Rémi:
A Method for Visuo-Spatial Classification of Freehand Shapes Freely Sketched.
Saif Khan Mohammed, Erik G. Larsson:
Constant-Envelope Multi-User Precoding for Frequency-Selective Massive MIMO Systems.
Andrei Yu. Rumyantsev, Alexander Shen:
Probabilistic Constructions of Computable Objects and a Computable Version of Lovász Local Lemma.
Alessandro Andrioni:
A Clifford Algebra approach to the Discretizable Molecular Distance Geometry Problem.
Aria Ghasemian Sahebi, S. Sandeep Pradhan:
Abelian Group Codes for Source Coding and Channel Coding.
Yu Cheng, Florin Rusu:
Formal Representation of the SS-DB Benchmark and Experimental Evaluation in EXTASCID.
José Hernández-Orallo:
A short note on estimating intelligence from user profiles in the context of universal psychometrics: prospects and caveats.
Alberto Savioli, Emanuele Goldoni, Pietro Savazzi, Paolo Gamba:
Low Complexity Indoor Localization in Wireless Sensor Networks by UWB and Inertial Data Fusion.
Thiago Christiano Silva, Liang Zhao:
High Level Pattern Classification via Tourist Walks in Networks.
Konstantin Makarychev, Yury Makarychev, Aravindan Vijayaraghavan:
Bilu-Linial Stable Instances of Max Cut.



Ziyi Su, Frédérique Biennier:
On attribute-based usage control policy ratification for cooperative computing context.

Mark Thamm, Arnim Bleier:
When Politicians Tweet: A Study on the Members of the German Federal Diet.
Rushan Ziatdinov, Rifkat I. Nabiyev, Kenjiro T. Miura:
MC-curves and aesthetic measurements for pseudospiral curve segments.
Joong Chae Na, Heejin Park, Maxime Crochemore, Jan Holub, Costas S. Iliopoulos, Laurent Mouchard, Kunsoo Park:
Suffix Tree of Alignment: An Efficient Index for Similar Data.
Adam Noel, Karen C. Cheung, Robert Schober:
Improving Diffusion-Based Molecular Communication with Unanchored Enzymes.
Laurent Jacques, Kévin Degraux, Christophe De Vleeschouwer:
Quantized Iterative Hard Thresholding: Bridging 1-bit and High-Resolution Quantized Compressed Sensing.
Adam Noel, Karen C. Cheung, Robert Schober:
Using Dimensional Analysis to Assess Scalability and Accuracy in Molecular Communication.
Federico Ricci-Tersenghi:
The solution to the challenge in "Time-Reversible Random Number Generators" by Wm. G. Hoover and Carol G. Hoover.
Marc Hellmuth, Manuel Noll, Lydia Ostermeier:
Strong Products of Hypergraphs: Unique Prime Factorization Theorems and Algorithms.
Ward Jaradat, Alan Dearle, Adam Barker:
A Dataflow Language for Decentralised Orchestration of Web Service Workflows.
Ward Jaradat, Alan Dearle, Adam Barker:
An Architecture for Decentralised Orchestration of Web Service Workflows.
(Withdrawn) Knowledge Networks Analysis.
Hong Xie, John C. S. Lui:
Mathematical Modeling of Product Rating: Sufficiency, Misbehavior and Aggregation Rules.
Alexander V. Mamonov, Isabel N. Figueiredo, Pedro N. Figueiredo, Yen-Hsi Richard Tsai:
Automated polyp detection in colon capsule endoscopy.
Yin Tat Lee, Aaron Sidford:
Efficient Accelerated Coordinate Descent Methods and Faster Algorithms for Solving Linear Systems.
Urmila Shrawankar, Anjali Mahajan:
Speech: A Challenge to Digital Signal Processing Technology for Human-to-Computer Interaction.
Adam Noel, Karen C. Cheung, Robert Schober:
Improving Receiver Performance of Diffusive Molecular Communication with Enzymes.
Elena Camossi, Paola Villa, Luca Mazzola:
Semantic-based Anomalous Pattern Discovery in Moving Object Trajectories.
Tom Froese, Carlos Gershenson, David A. Rosenblueth:
The Dynamically Extended Mind -- A Minimal Modeling Case Study.
Nate Derbinsky, José Bento, Veit Elser, Jonathan S. Yedidia:
An Improved Three-Weight Message-Passing Algorithm.
Madhur Srivastava, Satish Kumar Singh, Prasanta K. Panigrahi:
A Statistical Method for Non-Linear Quantization in Lossy JPEG2000 Compression.
Sawood Alam, Charles L. Cartledge, Michael L. Nelson:
HTTP Mailbox - Asynchronous RESTful Communication.
Jierui Xie, Mingming Chen, Boleslaw K. Szymanski:
LabelRankT: Incremental Community Detection in Dynamic Networks via Label Propagation.
Jakub Bulin, Dejan Delic, Marcel Jackson, Todd Niven:
On the reduction of the CSP dichotomy conjecture to digraphs.
Alexander Herzog, Ludovic Righetti, Felix Grimminger, Peter Pastor, Stefan Schaal:
Momentum-based Balance Control for Torque-controlled Humanoids.
Francis T. O'Donovan, Connie Fournelle, Steve Gaffigan, Oliver Brdiczka, Jianqiang Shen, Juan Liu, Kendra E. Moore:
Characterizing User Behavior and Information Propagation on a Social Multimedia Network.
Jacek Sroka, Krzysztof Stencel, Jerzy Tyszkiewicz:
Translating Relational Queries into Spreadsheets.
Sushmita Gupta, Shahin Kamali, Alejandro López-Ortiz:
On Advice Complexity of the k-server Problem under Sparse Metrics.
Xiaoxiao Wu, Wing-Kin Ma, Anthony Man-Cho So:
Physical-Layer Multicasting by Stochastic Transmit Beamforming and Alamouti Space-Time Coding.
Minh Ngo, Fabio Massacci, Olga Gadyatskaya:
MAP-REDUCE Runtime Enforcement of Information Flow Policies.
Hamed Maleki, Syed Ali Jafar:
Optimality of Orthogonal Access for One-dimensional Convex Cellular Networks.
Julien Herzen, Cédric Westphal, Patrick Thiran:
Scalable Routing Easy as PIE: a Practical Isometric Embedding Protocol (Technical Report).
Shenghuo Zhu:
Stochastic gradient descent algorithms for strongly convex functions at O(1/T) convergence rates.

Tianyang Bai, Robert W. Heath Jr.:
Asymptotic Coverage Probability and Rate in Massive MIMO Networks.
Madhur Srivastava, Prasanta K. Panigrahi:
Quantum Image Representation Through Two-Dimensional Quantum States and Normalized Amplitude.
William Yang Wang, Kathryn Mazaitis, William W. Cohen:
Programming with Personalized PageRank: A Locally Groundable First-Order Probabilistic Logic.
Mostepha Redouane Khouadjia, Marc Schoenauer, Vincent Vidal, Johann Dréo, Pierre Savéant:
Quality Measures of Parameter Tuning for Aggregated Multi-Objective Temporal Planning.

Omer Faruk Sozcu, Rushan Ziatdinov, Ismail Ipek:
The effects of computer assisted and distance learning of geometric modelling.
Klaus von Gleissenthall, Andrey Rybalchenko:
An Epistemic Perspective on Consistency of Concurrent Computations.
Joshua Bialkowski, Michael W. Otte, Emilio Frazzoli:
Fast Collision Checking: From Single Robots to Multi-Robot Teams.
Yehia El-khatib, Gordon S. Blair, Bholanathsingh Surajbali:
Experiences of Using a Hybrid Cloud to Construct an Environmental Virtual Observatory.
Harimalala Razanamanampisoa, Zely Arivelo Randriamanantany, Hery Tiana Rakotondramiarana, François Garde, Harry Boyer:
Simulation of a typical house in the region of Antananarivo, Madagascar. Determination of passive solutions using local materials.
Rashmi Makhijani, Urmila Shrawankar, Vilas M. Thakare:
Speech Enhancement Using Pitch Detection Approach For Noisy Environment.
Deepali Virmani, Dhruv Talwar, Arun Dhingra, Tushar Bahl:
Priority Based Energy-Efficient Data Forwarding Algorithm in Wireless Sensor Networks.
Deepali Virmani, Satbir Jain:
Scalable, Robust and Real Time Communication Architecture For Wireless Sensor Networks.
Klaus Glashoff, Michael M. Bronstein:
Asymptotic metrics on the space of matrices under the commutation relation.
Jianxin Liao, Lei Zhang, Xiaomin Zhu, Jingyu Wang, Minyan Liao:
Loss Rate Based Fountain Codes for Data Transfer.
Shafigh Parsazad, Ehsan Saboori, Amin Allahyar:
Fast Feature Reduction in intrusion detection datasets.
Toshiro Kubota, Jessica Ranck, Briley Acker, Herman De Haan:
Shape Reconstruction and Recognition with Isolated Non-directional Cues.


Thierry Moreau:
Towards a Better Approximation of Full Domain Hash - or - The Reef and Shoal Integrity Arrangement.

Itai Feigenbaum, Jay Sethuraman, Chun Ye:
Approximately Optimal Mechanisms for Strategyproof Facility Location: Minimizing $L_p$ Norm of Costs.
James R. Foulds, Levi Boyles, Christopher DuBois, Padhraic Smyth, Max Welling:
Stochastic Collapsed Variational Bayesian Inference for Latent Dirichlet Allocation.
Jonathan Starr, Omar El Ayach, Robert W. Heath Jr.:
Interference Alignment in Distributed Antenna Systems.
Omar El Ayach, Sridhar Rajagopal, Shadi Abu-Surra, Zhouyue Pi, Robert W. Heath Jr.:
Spatially Sparse Precoding in Millimeter Wave MIMO Systems.
Sonia Pérez-Díaz, Li-Yong Shen:
Determination and (re)parametrization of rational developable surfaces.
Takayuki Nozaki, Masaki Maehara, Kenta Kasai, Kohichi Sakaniwa:
Weight Distribution for Non-binary Cluster LDPC Code Ensemble.
Boris Mitavskiy, Jun He:
Combining Drift Analysis and Generalized Schema Theory to Design Efficient Hybrid and/or Mixed Strategy EAs.
Svetlana Selivanova, Victor L. Selivanov:
Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs.
Boris Mitavskiy, Jun He:
A Further Generalization of the Finite-Population Geiringer-like Theorem for POMDPs to Allow Recombination Over Arbitrary Set Covers.
Ramkumar Lakshminarayanan, R. D. Balaji, Binod Kumar, Malathi Balaji:
Augmented Reality in ICT for Minimum Knowledge Loss.
Boris Mitavskiy, Elio Tuci, Chris Cannings, Jonathan E. Rowe, Jun He:
Geiringer Theorems: From Population Genetics to Computational Intelligence, Memory Evolutive Systems and Hebbian Learning.
Purushottam Kar, Bharath K. Sriperumbudur, Prateek Jain, Harish Karnick:
On the Generalization Ability of Online Learning Algorithms for Pairwise Loss Functions.
Rina Foygel, Lester W. Mackey:
Corrupted Sensing: Novel Guarantees for Separating Structured Signals.
Stéphane Ross, Jiaji Zhou, Yisong Yue, Debadeepta Dey, J. Andrew Bagnell:
Learning Policies for Contextual Submodular Prediction.

Raúl H. Etkin, Farzad Parvaresh, Ilan Shomorony, Amir Salman Avestimehr:
On Min-Cut Algorithms for Half-Duplex Relay Networks.
Kartik Talamadupula, Octavian Udrea, Anton Riabov, Anand Ranganathan:
Strategic Planning for Network Data Analysis.
R. D. Balaji, Brijesh Ramniklal, N. Balasupramanian, Er. R. Malathi:
Mnemonics for Higher Education Using Contemporary Technologies.
Ramkumar Lakshminarayanan, Binod Kumar, M. Raju:
Cloud Computing Benefits for Educational Institutions.
(Withdrawn) (k,m)-connectivity in Mobile Clustered Wireless Networks.
Sheng Li, Rodrigo C. de Lamare:
Adaptive Frequency Domain Detectors for SC-FDE in Multiuser DS-UWB Systems with Structured Channel Estimation and Direct Adaptation.
Mark Korenblit, Vadim E. Levit:
On the Optimal Representation of Algebraic Expressions of Fibonacci Graphs.

Samuel Zbarsky:
On Improved Bounds on Bounded Degree Spanning Trees for Points in Arbitrary Dimension.
Sulaiman S. AlDahri:
A study for the effect of the Emphaticness and language and dialect for Voice Onset Time (VOT) in Modern Standard Arabic (MSA).
Achraf Karray, Rym Teyeb, Maher Ben Jemaa:
A Heuristic Approach for Web-Service Discovery and Selection.
Ali Tourani, Amir Seyed Danesh:
Using Exclusive Web Crawlers to Store Better Results in Search Engines' Database.
Duc Phu Chau, Monique Thonnat, François Brémond:
Automatic Parameter Adaptation for Multi-object Tracking.
Ahmad Alamgir Khan:
Preventing Phishing Attacks using One Time Password and User Machine Identification.






Oumair Naseer, Rana Atif Ali Khan:
Hybrid fuzzy logic and pid controller based ph neutralization pilot plant.
Issam Sahmoudi, Abdelmonaime Lachkar:
Clustering Web Search Results For Effective Arabic Language Browsing.
Oumair Naseer, Ayesha Naseer, Rana Atif Ali Khan, Humza Naseer:
Using Page Size for Controlling Duplicate Query Results in Semantic Web.
François Mériaux, Samson Lasaulce, Hamidou Tembine:
Stochastic Differential Games and Energy-Efficient Power Control.
Nahier Aldhafferi, Charles Watson, A. S. M. Sajeev:
Personal Information Privacy Settings of Online Social Networks and their Suitability for Mobile Internet Devices.
Xu Chen, François Mériaux, Stefan Valentin:
Predicting a User's Next Cell With Supervised Learning Based on Channel States.
Philip Bille, Patrick Hagge Cording, Inge Li Gørtz, Benjamin Sach, Hjalte Wedel Vildhøj, Søren Vind:
Fingerprints in Compressed Strings.
Fabian Pedregosa, Michael Eickenberg, Bertrand Thirion, Alexandre Gramfort:
HRF estimation improves sensitivity of fMRI encoding and decoding models.
Volker Pohl, Fanny Yang, Holger Boche:
Phaseless Signal Recovery in Infinite Dimensional Spaces using Structured Modulations.


Rahila Patel, Urmila Shrawankar, Mukesh M. Raghuwanshi, Anil N. Jaiswal:
Performance Enhancement of Distributed Quasi Steady-State Genetic Algorithm.

Smita Narendra Pathak, Urmila Shrawankar:
Infrastructure to Vehicle Real Time Secured Communication.
Sumedha Chokhandre, Urmila Shrawankar:
An Algorithm to Improve Performance over Multihop Wireless Mesh Network.
Vinay Kapse, Urmila Shrawankar:
Interference-Aware Channel Assignment for Maximizing Throughput in WMN.
Rashmi Makhijani, Urmila Shrawankar, Vilas M. Thakare:
Opportunities & Challenges In Automatic Speech Recognition.
Sultan Ullah, Xuefeng Zheng, Feng Zhou:
TCloud: A Dynamic Framework and Policies for Access Control across Multiple Domains in Cloud Computing.
Ricardo Fabbri, Ivan N. Bastos, Francisco Duarte Moura Neto, Francisco J. P. Lopes, Wesley Nunes Gonçalves, Odemir Martinez Bruno:
Multi-q Pattern Classification of Polarization Curves.
Kiril Solovey, Oren Salzman, Dan Halperin:
Finding a Needle in an Exponential Haystack: Discrete RRT for Exploration of Implicit Roadmaps in Multi-Robot Motion Planning.
Renato B. Abreu, Lucas C. Cordeiro, Eddie B. L. Filho:
Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking.
Andreas Galanis, Daniel Stefankovic, Eric Vigoda:
Inapproximability for Antiferromagnetic Spin Systems in the Tree Non-Uniqueness Region.
Reza Farrahi Moghaddam, Fereydoun Farrahi Moghaddam, Mohamed Cheriet:
Unsupervised ensemble of experts (EoE) framework for automatic binarization of document images.
Neema Mishra, Urmila Shrawankar, Vilas M. Thakare:
Automatic Speech Recognition Using Template Model for Man-Machine Interface.
Mostafa Azami, Manij Ranjbar, Ali Shokouhi Rostami, Amir Jahani Amiri:
Increasing the Network life Time by Simulated Annealing Algorithm in WSN with Point Coverage.
Sheng Li, Rodrigo C. de Lamare:
Blind Adaptive Reduced-Rank Detectors for DS-UWB Systems Based on Joint Iterative Optimization and the Constrained Constant Modulus Criterion.
Sanat Kumar Bista, Keshav P. Dahal, Peter I. Cowling:
Evolution of Cooperation in an Incentive Based Business Game Environment.
Sanat Kumar Bista, Keshav P. Dahal, Peter I. Cowling, Bhadra Man Tuladhar:
Unraveling the Evolution of Defectors in Online Business Games.
Sanat Kumar Bista, Keshav P. Dahal, Peter I. Cowling, Bhadra Man Tuladhar:
Metrics for Computing Trust in a Multi-Agent Environment.
Shaunak Mishra, I-Hsiang Wang, Suhas N. Diggavi:
Opportunistic Interference Management for Multicarrier systems.
Hong Huang, Satyajayant Misra, Wei Tang, Hajar Barani, Hussein Al-Azzawi:
Applications of Compressed Sensing in Communications Networks.
Dai-Qiang Chen, Lizhi Cheng:
Fast Linearized Alternating Direction Minimization Algorithm with Adaptive Parameter Selection for Multiplicative Noise Removal.
Kuang-Chih Lee, Ali Jalali, Ali Dasdan:
Real Time Bid Optimization with Smooth Budget Delivery in Online Advertising.
Ali Jalali, Santanu Kolay, Peter Foldes, Ali Dasdan:
Scalable Audience Reach Estimation in Real-time Online Advertising.
(Withdrawn) Wave Atom Based Watermarking.
Ashkan Paya, Dan C. Marinescu:
Clustering Algorithms for Scale-free Networks and Applications to Cloud Resource Management.



Shaunak Mishra, Christina Fragouli, Vinod M. Prabhakaran, Suhas N. Diggavi:
Using Feedback for Secrecy over Graphs.
Marco Baldi, Marco Bianchi, Franco Chiaraluce, Nicola Laurenti, Stefano Tomasin, Francesco Renna:
Secrecy Transmission on Block Fading Channels: Theoretical Limits and Performance of Practical Codes.
Serge Abiteboul, Émilien Antoine, Gerome Miklau, Julia Stoyanovich, Jules Testard:
Rule-Based Application Development using Webdamlog.


Daqiang Zhang, Qin Zou, Zhiren Sun:
SECA: Snapshot-based Event Detection for Checking Asynchronous Context Consistency in Ubiquitous Computing.
Sasa Petrovic, Miles Osborne, Victor Lavrenko:
I Wish I Didn't Say That! Analyzing and Predicting Deleted Messages in Twitter.
François Cuvelier, Caroline Japhet, Gilles Scarella:
An efficient way to perform the assembly of finite element matrices in Matlab and Octave.
Muhammad Hilman, Heru Suhartanto, Arry Yanuar:
Performance Analysis of Embarassingly Parallel Application on Cluster Computer Environment: A Case Study of Virtual Screening with Autodock Vina 1.1 on Hastinapura Cluster.

Xiao-Bo Jin, Qiang Lu, Feng Wang, Quan-gong Huo:
Qualitative detection of oil adulteration with machine learning approaches.
J. Ian Johnson, David Van Horn:
Concrete Semantics for Pushdown Analysis: The Essence of Summarization.
Travis Gagie, Pawel Gawrychowski, Yakov Nekrich:
Heaviest Induced Ancestors and Longest Common Substrings.
Wassim Bouachir, Atousa Torabi, Guillaume-Alexandre Bilodeau, Pascal Blais:
A Bag of Words Approach for Semantic Segmentation of Monitored Scenes.
Philipp Winter, Tobias Pulls, Jürgen Fuß:
ScrambleSuit: A Polymorph Network Protocol to Circumvent Censorship.
Gurpreet Singh Saini, Ashish Kots, Manoj Kumar:
DREAM_OLSR PROTOCOL (Distance Routing Effective Algorithm for Mobility - Optimized Link State Routing).
Paritosh K. Pandya, Simoni S. Shah:
The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version).
Siu-on Chan, Ilias Diakonikolas, Rocco A. Servedio, Xiaorui Sun:
Efficient Density Estimation via Piecewise Polynomial Approximation.
Senthur Balan S., Sowmyan Jegatheesan, Sakthi Ganesh M.:
The Product Promotion and Consumer Retention Gap in Online Shopping.
(Withdrawn) Computing Cliques is Intractable.
Arya Mazumdar, Venkat Chandar, Gregory W. Wornell:
Update Efficiency and Local Repairability Limits for Capacity Approaching Codes.
Ruta Mehta, Vijay V. Vazirani:
An Incentive Compatible, Efficient Market for Air Traffic Flow Management.
Laszlo B. Kish, Chiman Kwan:
Physical uncloneable function hardware keys utilizing Kirchhoff-law-Johnson-noise secure key exchange and noise-based logic.
Marian Popescu, Peter Dugan, Mohammad Pourhomayoun, Denise Risch, Hal Lewis, Christopher W. Clark:
Bioacoustical Periodic Pulse Train Signal Detection and Classification using Spectrogram Intensity Binarization and Energy Projection.
Amitabha Sinha, Soumojit Acharyya, Suranjan Chakraborty, Mitrava Sarkar:
Field Programmable DSP Arrays - A.
Esteban N. Osella, Hernan Haimovich, María M. Seron:
Fault-tolerant control under controller-driven sampling using virtual actuator strategy.
Ketul Sheth, Shreya Shah, Darshan Shah, Anuja Odhekar:
Social Network for Smart Devices using Embedded Ethernet.
Flávia Linhalis Arantes:
Requirements Engineering of a Web Portal using Organizational Semiotics Artifacts and Participatory Practices.
Jop Briët, Daniel Dadush, Sebastian Pokutta:
On the existence of 0/1 polytopes with high semidefinite extension complexity.

Harsh Taneja, Angela Xiao Wu:
Does the Great Firewall really isolate the Chinese? Integrating access blockage with cultural factors to explain web user behavior.
Sheng Li, Rodrigo C. de Lamare:
Linear Reduced-Rank Interference Suppression for DS-UWB Systems Using Switched Approximations of Adaptive Basis Functions.
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi:
A Mining-Based Compression Approach for Constraint Satisfaction Problems.
Scott Lapinski, Heather A. Piwowar, Jason Priem:
Riding the crest of the altmetrics wave: How librarians can help prepare faculty for the next generation of research impact metrics.

Siddharth Barman, Umang Bhaskar, Federico Echenique, Adam Wierman:
The Empirical Implications of Rank in Bimatrix Games.
Ching-Hsien Hsu, Daqiang Zhang, Chao-Tung Yang, Hai-Cheng Chu:
An Efficient Method for Optimizing RFID Reader Deployment and Energy Saving.

Sandip Chakraborty, Soumyadip Majumder, Diganta Goswami:
Approximate Congestion Games for Load Balancing in Distributed Environment.
He Wang, Xiangyun Zhou, Mark C. Reed:
Analytical Evaluation of Coverage-Oriented Femtocell Network Deployment.
Ritesh Kolte, Ayfer Özgür:
Generalized Diversity-Multiplexing Tradeoff of Half-Duplex Relay Networks.
Kumar Viswanatha, Emrah Akyol, Kenneth Rose:
On the Role of Common Codewords in Quadratic Gaussian Multiple Descriptions Coding.
Laura Bernadó, Thomas Zemen, Fredrik Tufvesson, Andreas F. Molisch, Christoph F. Mecklenbräuker:
Delay and Doppler Spreads of Non-Stationary Vehicular Channels for Safety Relevant Scenarios.
Naseem Biadsy, Lior Rokach, Armin Shmilovici:
Transfer Learning for Content-Based Recommender Systems using Tree Matching.
Daniel Augot, Matthieu Finiasz:
Exhaustive Search for Small Dimension Recursive MDS Diffusion Layers for Block Ciphers and Hash Functions.
Johannes Niedermayer, Andreas Züfle, Tobias Emrich, Matthias Renz, Nikos Mamoulis, Lei Chen, Hans-Peter Kriegel:
Probabilistic Nearest Neighbor Queries on Uncertain Moving Object Trajectories.
Abdelhamid Younis, William H. Thompson, Marco Di Renzo, Cheng-Xiang Wang, Mark A. Beach, Harald Haas, Peter M. Grant:
Performance of Spatial Modulation using Measured Real-World Channels.
Sanjeel Parekh, Pratik Shah:
Nyquist Filter Design using POCS Methods: Including Constraints in Design.
Karsten Fyhn, Marco F. Duarte, Søren Holdt Jensen:
Compressive Parameter Estimation for Sparse Translation-Invariant Signals Using Polar Interpolation.
Ana Isabel Fernandes, Miguel Goulão, Armanda Rodrigues:
A Comparison of Maps Application Programming Interfaces.

Fabrice Guillemin, Alain Simonian:
Stationary analysis of the "Shortest Queue First" service policy: the asymmetric case.
Sreechakra Goparaju, Itzhak Tamo, A. Robert Calderbank:
An Improved Sub-Packetization Bound for Minimum Storage Regenerating Codes.
Tim Clark, Paolo Ciccarese, Carole A. Goble:
Micropublications: a Semantic Model for Claims, Evidence, Arguments and Annotations in Biomedical Communications.

Ralph Tanbourgi, Holger Jäkel, Friedrich K. Jondral:
Cooperative Relaying in a Poisson Field of Interferers: A Diversity Order Analysis.
Xin Jin, Li Erran Li, Laurent Vanbever, Jennifer Rexford:
SoftCell: Taking Control of Cellular Core Networks.
Dilip Bethanabhotla, Giuseppe Caire, Michael J. Neely:
Utility Optimal Scheduling and Admission Control for Adaptive Video Streaming in Small Cell Networks.
Kaya Tutuncuoglu, Omur Ozel, Aylin Yener, Sennur Ulukus:
Binary Energy Harvesting Channel with Finite Energy Storage.
Ahmed Badr, Ashish Khisti, Wai-Tian Tan, John G. Apostolopoulos:
Robust Streaming Erasure Codes based on Deterministic Channel Approximations.
Manuel Gomez-Rodriguez, Jure Leskovec, Bernhard Schölkopf:
Modeling Information Propagation with Survival Theory.
Mohammad Pourhomayoun, Peter Dugan, Marian Popescu, Denise Risch, Hal Lewis, Christopher W. Clark:
Classification for Big Dataset of Bioacoustic Signals Based on Human Scoring System and Artificial Neural Network.
Mohammad Pourhomayoun, Peter Dugan, Marian Popescu, Christopher W. Clark:
Bioacoustic Signal Classification Based on Continuous Region Processing, Grid Masking and Artificial Neural Network.
Andreas Hellander, Michael J. Lawson, Brian Drawert, Linda Petzold:
Local error estimates for adaptive simulation of the Reaction-Diffusion Master Equation via operator splitting.
Paulo Shakarian, Patrick Roos, Devon Callahan, Cory Kirk:
Mining for Geographically Disperse Communities in Social Networks by Leveraging Distance Modularity.

He Wang, Xiangyun Zhou, Mark C. Reed:
Coverage and Throughput Analysis with a Non-Uniform Femtocell Deployment.
(Withdrawn) New classes of quadratic bent functions in polynomial forms.

Sepp Hartung, Christian Komusiewicz, André Nichterlein, Ondrej Suchý:
On Structural Parameterizations for the 2-Club Problem.
Madhumita Sengupta, J. K. Mandal:
Wavelet Based Authentication/Secret Transmission Through Image Resizing(WASTIR).
Jennifer D. Warrender, Phillip Lord:
The Karyotype Ontology: a computational representation for human cytogenetic patterns.
Niek Bouman, Sem C. Borst, Johan van Leeuwaarden:
Delay Performance and Mixing Times in Random-Access Networks.
Ali Bereyhi, Mohsen Bahrami, Mahtab Mirmohseni, Mohammad Reza Aref:
Empirical Coordination in a Triangular Multiterminal Network.
Gabriel Kronberger, Michael Kommenda:
Evolution of Covariance Functions for Gaussian Process Regression using Genetic Programming.
Hassan Mansour, Özgür Yilmaz:
A fast randomized Kaczmarz algorithm for sparse solutions of consistent linear systems.
(Withdrawn) Multi-View Learning for Web Spam Detection.
Lorenzo De Stefani, Francesco Silvestri:
Exploiting non-constant safe memory in resilient algorithms and data structures.
Emmanuel Grolleau, Joël Goossens, Liliana Cucu-Grosjean:
On the periodic behavior of real-time schedulers on identical multiprocessor platforms.
Blerim Cici, Enrique Frías-Martínez, Nikolaos Laoutaris:
A tale of 2 continents and 4 cities about the influence of demographics and social constraints on ride-sharing.
Sanjay Rawat, Dumitru Ceara, Laurent Mounier, Marie-Laure Potet:
Combining Static and Dynamic Analysis for Vulnerability Detection.
Rodrigo C. de Lamare, Vitor H. Nascimento:
Joint Model-Order and Step-Size Adaptation using Convex Combinations of Adaptive Reduced-Rank Filters.

Reid Priedhorsky, Aron Culotta, Sara Y. Del Valle:
Inferring the Origin Locations of Tweets with Quantitative Confidence.
David T.-H. Kao, Ashutosh Sabharwal:
An Upper Bound on the Capacity of Vector Dirty Paper with Unknown Spin and Stretch.
A. Djimeli, Daniel Tchiotsop, René Tchinda:
Analysis Of Interest Points Of Curvelet Coefficients Contributions Of Microscopic Images And Improvement Of Edges.
(Withdrawn) Quantum codes from superelliptic curves.
Gauri Joshi, Yanpei Liu, Emina Soljanin:
On the Delay-Storage Trade-off in Content Download from Coded Distributed Storage Systems.
Jingon Joung, Chin Keong Ho, Sumei Sun:
Spectral Efficiency and Energy Efficiency of OFDM Systems: Impact of Power Amplifiers and Countermeasures.
Ibrahim Issa, Silas L. Fong, Amir Salman Avestimehr:
Two-Hop Interference Channels: Impact of Linear Time-Varying Schemes.
Jeffrey K. Wiens, John M. Stockie:
An efficient parallel immersed boundary algorithm using a pseudo-compressible fluid solver.
Puneet Kumar, Dharminder Kumar:
A Conceptual E-Governance Framework for Improving Child Immunization Process in India.
Yang Cai, Constantinos Daskalakis, S. Matthew Weinberg:
Reducing Revenue to Welfare Maximization: Approximation Algorithms and other Generalizations.
Yang Cai, Constantinos Daskalakis, S. Matthew Weinberg:
Understanding Incentives: Mechanism Design becomes Algorithm Design.
Cédric Herzet, Charles Soussen, Jérôme Idier, Rémi Gribonval:
Exact Recovery Conditions for Sparse Representations with Partial Support Information.
Junzhou Zhao, Pinghui Wang, Jing Tao, Xiaobo Ma, Xiaohong Guan:
A Peep on the Interplays between Online Video Websites and Online Social Networks.
Matthias Wilhelm, Ivan Martinovic, Jens B. Schmitt, Vincent Lenders:
Air Dominance in Sensor Networks: Guarding Sensor Motes using Selective Interference.
Hiroki Kuzuno, Satoshi Tonami:
Signature Generation for Sensitive Information Leakage in Android Applications.
Gwezheneg Robert, Pierre Loidreau, Daniel Augot:
Rank metric and Gabidulin codes in characteristic zero.

Syed Muhammad Arsalan Bashir:
Font Acknowledgment and Character Extraction of Digital and Scanned Images.
Abir Messaoudi, Riadh Bouslimi, Jalel Akaichi:
Indexing Medical Images based on Collaborative Experts Reports.
Fabien Sacuto, Fabrice Labeau, Basile L. Agba:
Wide Band Time-Correlated Model for Wireless Communications under Impulsive Noise within Power Substation.
Nicolas Gensollen, Vincent Gauthier, Michel Marot, Monique Becker:
Modeling and optimizing a distributed power network : A complex system approach of the prosumer management in the smart grid.
Andrew Rudder, Wayne Goodridge, Shareeda Mohammed:
Using Bias Optimization for Reversible Data Hiding Using Image Interpolation.
Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera:
Trading Performance for Stability in Markov Decision Processes.
Paul C. Attie, Fadi A. Zaraket, Mohammad Fawaz, Mohamad Noureddine:
Semantic Guidance and Feedback for the Construction of Specifications and Implementations.
Mustafa Ilhan Akbas, Matthias R. Brust, Damla Turgut:
Social Network Generation and Role Determination Based on Smartphone Data.

Florian Willomitzer, Svenja Ettl, Christian Faber, Gerd Häusler:
Flying Triangulation - towards the 3D movie camera.
Susan B. Davidson, Xiaocheng Huang, Julia Stoyanovich, Xiaojie Yuan:
Search and Result Presentation in Scientific Workflow Repositories.
Di Li, Lifeng Lai, Shuguang Cui:
Quickest Change Point Detection and Identification Across a Generic Sensor Array.
Omer H. Abdelrahman, Erol Gelenbe, Gökçe Görbil, Boris Oklander:
Mobile Network Anomaly Detection and Mitigation: The NEMESYS Approach.
Xingqin Lin, Jeffrey G. Andrews, Amitava Ghosh:
A Comprehensive Framework for Device-to-Device Communications in Cellular Networks.
Wei Yu, Junpeng Chen:
The state-of-the-art in web-scale semantic information processing for cloud computing.
Wing-Kai Hon, Ton Kloks, S. Liu, Sheung-Hung Poon, Yue-Li Wang:
Independent set in categorical products of cographs and splitgraphs.
Hongyu Cui, Rongqing Zhang, Lingyang Song, Bingli Jiao:
Relay Selection for Bidirectional AF Relay Network with Outdated CSI.
Loet Leydesdorff, Han Woo Park, Caroline S. Wagner:
International Co-authorship Relations in the Social Science Citation Index: Is Internationalization Leading the Network?
Zohra Sbaï, Mohamed Escheikh:
Model Checking Techniques for Verification of an Encryption Scheme for Wireless Sensor Networks.

Yue Wu, Brian Tracey, Premkumar Natarajan, Joseph P. Noonan:
Blockwise SURE Shrinkage for Non-Local Means.
Alina Ene, Nitish Korula, Ali Vakilian:
Improved Approximation Algorithms for Connected Domatic Partitions and Related Problems.
Kuwar Pratap Singh, P. K. Gupta, G. Singh:
Performance Evaluation of Enhanced Interior Gateway Routing Protocol in IPv6 Network.
Peter L. Bartlett, Peter Grunwald, Peter Harremoës, Fares Hedayati, Wojciech Kotlowski:
Horizon-Independent Optimal Prediction with Log-Loss in Exponential Families.


Michael James Scott, Gheorghita Ghinea:
Promoting Game Accessibility: Experiencing an Induction on Inclusive Design Practice at the Global Games Jam.
Anjan K. Koundinya, G. Harish, N. K. Srinath, G. E. Raghavendra Kumar, Y. V. Pramod, R. Sandeep, G. Punith Kumar:
Performance Analysis of Parallel Pollard's Rho Algorithm.


Klajdi Karanxha, Kapies Vallipuram, Herman Sonfack, Gustavo Barbieri Pereira:
Software Requirements Specification - Softbody Simulation System.
Igor S. Sergeev:
Implementation of linear maps with circulant matrices via modulo 2 rectifier circuits of bounded depth.
Mayur Agrawal, David J. Love, Venkataramanan Balakrishnan:
Communicating over Filter-and-Forward Relay Networks with Channel Output Feedback.
Amitav Mukherjee:
Imbalanced Beamforming by a Multi-antenna Source for Secure Utilization of an Untrusted Relay.
Youfang Lin, Xuguang Jia, Mingjie Lin, Steve Gregory, Huaiyu Wan, Zhihao Wu:
Inferring High Quality Co-Travel Networks.
Xiangnan Kong, Bokai Cao, Philip S. Yu, Ying Ding, David J. Wild:
Meta Path-Based Collective Classification in Heterogeneous Information Networks.
Rushan Ziatdinov, Sajid Musa:
Rapid mental computation system as a tool for algorithmic thinking of elementary school students development.
Jun Zhang, Xinran Li, Fang-Wei Fu:
Multi-receiver Authentication Scheme for Multiple Messages Based on Linear Codes.
Jérémie Bigot, Claire Boyer, Pierre Weiss:
An analysis of block sampling strategies in compressed sensing.
Benjamin P. Vandervalk, E. Luke McCarthy, Mark D. Wilkinson:
SHARE: A Web Service Based Framework for Distributed Querying and Reasoning on the Semantic Web.
Abidin Kaya, Bahattin Yildiz, Irfan Siap:
Quadratic Residue Codes over F_p+vF_p and their Gray Images.
Radoslav Fulek, Jan Kyncl, Igor Malinovic, Dömötör Pálvölgyi:
Efficient c-planarity testing algebraically.
Nenad Markus, Miroslav Frljak, Igor S. Pandzic, Jörgen Ahlberg, Robert Forchheimer:
A method for object detection based on pixel intensity comparisons.
Govind Salvi, Puneet Sharma, Shanmuganathan Raman:
Efficient Image Retargeting for High Dynamic Range Scenes.
Baran Tan Bacinoglu, Elif Uysal-Biyikoglu:
Finite-horizon Online Transmission Rate and Power Adaptation on a Communication Link with Markovian Energy Harvesting.
Adam R. Williamson, Tsung-Yi Chen, Richard D. Wesel:
Reliability-based Error Detection for Feedback Communication with Low Latency.
Jean Souviron:
Correcting self-intersecting polygons using minimal memory A simple and efficient algorithm and thoughts on line-segment intersection algorithms.
Krishna Gopal Benerjee, Manish K. Gupta, Nikhil Agrawal:
Reconstruction and Repair Degree of Fractional Repetition Codes.
Subhash Khot, Nisheeth K. Vishnoi:
The Unique Games Conjecture, Integrality Gap for Cut Problems and Embeddability of Negative Type Metrics into ℓ1.
(Withdrawn) Parallel Coordinates Guided High Dimensional Transfer Function Design.
Chunhua Geng, Navid Naderializadeh, Amir Salman Avestimehr, Syed Ali Jafar:
On the Optimality of Treating Interference as Noise.
(Withdrawn) The Process of Mobile Spectrum Allocation and its impact on Electronic Commerce and Mobile Commerce.
Emil Björnson, Jakob Hoydis, Marios Kountouris, Mérouane Debbah:
Hardware Impairments in Large-scale MISO Systems: Energy Efficiency, Estimation, and Capacity Limits.
(Withdrawn) Joint Space Decomposition-and-Synthesis Theory for K-User MIMO Channels: Interference Alignment and DoF Region.
Mark Braverman, Faith Ellen, Rotem Oshman, Toniann Pitassi, Vinod Vaikuntanathan:
Tight Bounds for Set Disjointness in the Message Passing Model.
Srinivas Yerramalli, Rahul Jain, Urbashi Mitra:
Broadcast Channel Games: Equilibrium Characterization and a MIMO MAC-BC Game Duality.
Danilo De Donno, Luca Catarinucci, Luciano Tarricone:
An UHF RFID Energy-Harvesting System Enhanced by a DC-DC Charge Pump in Silicon-on-Insulator Technology.
Danilo De Donno, Luca Catarinucci, Luciano Tarricone:
Enabling Self-Powered Autonomous Wireless Sensors with New-Generation I2C-RFID Chips.
Manju Prasad, Andhe Dharani:
A qoi based energy efficient clustering for dense wireless sensor network.
Nir Ailon:
A Lower Bound for Fourier Transform Computation in a Linear Model Over 2x2 Unitary Gates Using Matrix Entropy.
Fabien de Montgolfier, Mathieu Raffinot, Irena Rusu:
Easy identification of generalized common nested intervals.
Maksym A. Girnyk, Mikko Vehkaperä, Lars K. Rasmussen:
Large-System Analysis of Correlated MIMO Multiple Access Channels with Arbitrary Signaling in the Presence of Interference.
Parasaran Raman, Suresh Venkatasubramanian:
Power to the Points: Validating Data Memberships in Clusterings.

Martin Horsch, Christoph Niethammer, Jadran Vrabec, Hans Hasse:
Computational molecular engineering as an emerging technology in process engineering.
Rasmus Melchior Jacobsen, Petar Popovski:
Reliable Reception of Wireless Metering Data with Protocol Coding.
Yessica Saez, Laszlo B. Kish:
Errors and their mitigation at the Kirchhoff-law-Johnson-noise secure key exchange.
Stefan Gerhold, Manuel Kauers, Christoph Koutschan, Peter Paule, Carsten Schneider, Burkhard Zimmermann:
Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order.
Mohamed Nader Jelassi, Sadok Ben Yahia, Engelbert Mephu Nguifo:
Nouvelle approche de recommandation personnalisee dans les folksonomies basee sur le profil des utilisateurs.
Shantanu Rane, Ye Wang, Stark C. Draper, Prakash Ishwar:
Secure Biometrics: Concepts, Authentication Architectures and Challenges.
Hugues Randriambololona:
An upper bound of Singleton type for the componentwise product of two linear codes.
Jia Xu, Ubbo Visser, E. Patrick Shironoshita, Nigel M. John, Mansur R. Kabuka:
Extract ABox Modules for Efficient Ontology Querying.


Jonathan Lutz, Charles J. Colbourn, Violet R. Syrotiuk:
ATLAS: Adaptive Topology- and Load-Aware Scheduling.
Xunrui Yin, Yan Wang, Zongpeng Li, Xin Wang, Xiangyang Xue:
A Graph Minor Perspective to Multicast Network Coding.
Marek Cygan, Fabrizio Grandoni, Danny Hermelin:
Tight Kernel Bounds for Problems on Graphs with Small Degeneracy.
Arthur Gonçalves Carvalho, Aluizio F. R. Araújo:
Improving NSGA-II with an Adaptive Mutation Operator.
Renato Oliveira, Paulo J. L. Adeodato, Arthur Carvalho, Icamaan Viegas, Christian Diego, Tsang Ing Ren:
A Data Mining Approach to Solve the Goal Scoring Problem.

Junil Choi, Zachary Chance, David J. Love, Upamanyu Madhow:
Noncoherent Trellis Coded Quantization: A Practical Limited Feedback Technique for Massive MIMO Systems.
Arash Khabbazibasmenj, Aboulnasr Hassanien, Sergiy A. Vorobyov, Matthew W. Morency:
Efficient Transmit Beamspace Design for Search-free Based DOA Estimation in MIMO Radar.
Hao Fang, Sergiy A. Vorobyov, Hai Jiang, Omid Taheri:
Permutation Meets Parallel Compressed Sensing: How to Relax Restricted Isometry Property for 2D Sparse Signals.
Shengbo Chen, Tarun Bansal, Yin Sun, Prasun Sinha, Ness B. Shroff:
Life-Add: Lifetime Adjustable Design for WiFi Networks with Heterogeneous Energy Supplies.
Jie Gong, John S. Thompson, Sheng Zhou, Zhisheng Niu:
Base Station Sleeping and Resource Allocation in Renewable Energy Powered Cellular Networks.
Saied Mehdian, Ben Liang:
Optimal Frame Transmission for Scalable Video with Hierarchical Prediction Structure.
Arunasalam Sambhanthan, Samantha Thelijjagoda, Joseph Tan:
Implications for Utilizing YouTube based Community Interactions for Destination Marketing.
Shilpa Gulati, Chetan Jhurani, Benjamin Kuipers:
A Nonlinear Constrained Optimization Framework for Comfortable and Customizable Motion Planning of Nonholonomic Mobile Robots - Part I.
Shilpa Gulati, Chetan Jhurani, Benjamin Kuipers:
A Nonlinear Constrained Optimization Framework for Comfortable and Customizable Motion Planning of Nonholonomic Mobile Robots - Part II.
David Tolpin, Tal Beja, Solomon Eyal Shimony, Ariel Felner, Erez Karpas:
Towards Rational Deployment of Multiple Heuristics in A*.
Palash Dey, Y. Narahari:
Asymptotic Collusion-proofness of Voting Rules when the Number of Candidates is Large.
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
High-level Counterexamples for Probabilistic Automata.
Alicja Wieczorkowska, Miron B. Kursa:
A Comparison of Random Forests and Ferns on Recognition of Instruments in Jazz Recordings.
Yi Fang, Lin Wang, Kai-Kit Wong, Kin-Fai Tong:
Performance of Joint Channel and Physical Network Coding Based on Alamouti STBC.
Mario Berljafa, Edoardo Di Napoli:
A Parallel and Scalable Iterative Solver for Sequences of Dense Eigenproblems Arising in FLAPW.
Kei Sakaguchi, Van Ky Nguyen, Yu Tao, Gia Khanh Tran, Kiyomichi Araki:
Distributed Power Control Network and Green Building Test-bed for Demand Response in Smart Grid.
Lovro Subelj, Marko Bajec:
Groups of nodes in complex real-world networks: An algorithm and comparison of the state-of-the-art.
Bo Xiao, Yuefeng Jing, Yonghong Guan:
A novel automatic thresholding segmentation method with local adaptive thresholds.

Salvatore Cuomo, Ardelio Galletti, Giulio Giunta, Alfredo Starace:
Surface Reconstruction from Scattered Point via RBF Interpolation on GPU.
Jean-Lou De Carufel, Carsten Grimm, Anil Maheshwari, Megan Owen, Michiel H. M. Smid:
A Note on the Unsolvability of the Weighted Region Shortest Path Problem.
Mingyue Ji, Giuseppe Caire, Andreas F. Molisch:
Wireless Device-to-Device Caching Networks: Basic Principles and System Performance.
Oscar Filio-Rodriguez, Serguei Primak, Valeri Kontorovich, Abdallah Shami:
A Game Theory Interpretation for Multiple Access in Cognitive Radio Networks with Random Number of Secondary Users.
Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg:
Stochastic Parity Games on Lossy Channel Systems.



Yin Zheng, Yu-Jin Zhang, Hugo Larochelle:
A Supervised Neural Autoregressive Topic Model for Simultaneous Image Classification and Annotation.
Ronald Y. Chang, Sian-Jheng Lin, Wei-Ho Chung:
Energy Efficient Transmission over Space Shift Keying Modulated MIMO Channels.

Adam Kasperski, Pawel Zielinski:
Combinatorial optimization problems with uncertain costs and the OWA criterion.
Luca Barletta, Maurizio Magarini, Arnaldo Spalvieri:
Tight Upper and Lower Bounds to the Information Rate of the Phase Noise Channel.

Wenkui Ding, Tao Wu, Tao Qin, Tie-Yan Liu:
Pure Price of Anarchy for Generalized Second Price Auction.
Marco Baldi, Marco Bianchi, Franco Chiaraluce, Joachim Rosenthal, Davide Schipani:
Using LDGM Codes and Sparse Syndromes to Achieve Digital Signatures.
Bruno Macchiavello, Camilo C. Dorea, Edson M. Hung, Gene Cheung, Wai-tian Tan:
Loss-resilient Coding of Texture and Depth for Free-viewpoint Video Conferencing.
Erol Gelenbe, Gökçe Görbil, Dimitrios Tzovaras, Steffen Liebergeld, David García, Madalina Baltatu, George L. Lyberopoulos:
NEMESYS: Enhanced Network Security for Seamless Service Provisioning in the Smart Mobile Ecosystem.



Shreyas Balakuntala, Sandeep Venkatesh, Rajarajeswari S., E. Abhiram, Ashwin R., K. M. Sunil Kumar:
An Intelligent System to Detect, Avoid and Maintain Potholes: A Graph Theoretic Approach.
Changchuan Yin, Dongchul Yoo, Stephen S.-T. Yau:
Denoising the 3-Base Periodicity Walks of DNA Sequences in Gene Finding.
Omur Ozel, Khurram Shahzad, Sennur Ulukus:
Optimal Scheduling for Energy Harvesting Transmitters with Hybrid Energy Storage.

David P. Woodruff, Qin Zhang:
Subspace Embeddings and ℓp-Regression Using Exponential Random Variables.
Qiaoyang Ye, Mazin Al-Shalash, Constantine Caramanis, Jeffrey G. Andrews:
On/Off Macrocells and Load Balancing in Heterogeneous Cellular Networks.
Hao Feng, Andreas F. Molisch:
Diversity Backpressure Scheduling and Routing with Mutual Information Accumulation in Wireless Ad-hoc Networks.
Mahdi Shaghaghi, Sergiy A. Vorobyov:
Finite-Length and Asymptotic Analysis of Correlogram for Undersampled Data.
Wei Wang, Baochun Li, Ben Liang:
To Reserve or Not to Reserve: Optimal Online Multi-Instance Acquisition in IaaS Clouds.
Fred Glover, Tao Ye, Abraham P. Punnen, Gary A. Kochenberger:
Integrating tabu search and VLSN search to develop enhanced algorithms: A case study using bipartite boolean quadratic programs.
Alice C. Niemeyer, Tomasz Popiel, Cheryl E. Praeger:
Straight-line programs with memory and matrix Bruhat decomposition.
Vikram Arkalgud Chandrasetty, Sarah J. Johnson, Gottfried Lechner:
Memory Efficient Decoders using Spatially Coupled Quasi-Cyclic LDPC Codes.
John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. EPTCS 115, 2013 [contents]
Seppo Ilari Tirri:
Algebraic Net Class Rewriting Systems, Syntax and Semantics for Knowledge Representation and Automated Problem Solving.
George Garbis, Kostis Kyzirakos, Manolis Koubarakis:
Geographica: A Benchmark for Geospatial RDF Stores.
Dmitry E. Chebukov, Alexander D. Izaak, Olga G. Misyurina, Yuri A. Pupyrev, Alexey B. Zhizhchenko:
Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today.
Abdelali Boussadi, Thibaut Caruba, Alexandre Karras, Sarah Berdot, Patrice Degoulet, Pierre Durieux, Brigitte Sabatier:
Validity of a clinical decision rule based alert system for drug dose adjustment in patients with renal failure intended to improve pharmacists' analysis of medication orders in hospitals.
Rachit Agarwal, Vincent Gauthier, Monique Becker, Thouraya Toukabri, Hossam Afifi:
Enhancing Information Dissemination in Device to Device Metapopulation using Human Mobility Trace and Beamforming.
Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers:
Formal Mathematics on Display: A Wiki for Flyspeck.
Antonio Franchi, Paolo Robuffo Giordano:
Online Leader Selection for Multi-Agent Collective Tracking and Formation Maintenance.

Khalid Raza, Rajni Jaiswal:
Reconstruction and Analysis of Cancer-specific Gene Regulatory Networks from Gene Expression Profiles.
Peter D. Bruza, Kirsty Kitto, Brentyn J. Ramm, Laurianne Sitbon:
A probabilistic framework for analysing the compositionality of conceptual combinations.

Zheng Wang, Shuiyin Liu, Cong Ling:
Decoding by Sampling II: Derandomization and Soft-output Decoding.




Alexandru Cioaca, Adrian Sandu, Eric de Sturler:
Efficient methods for computing observation impact in 4D-Var data assimilation.
Dave Dice, Danny Hendler, Ilya Mirsky:
Lightweight Contention Management for Efficient Compare-and-Swap Operations.
Glencora Borradaile, Anna Harutyunyan:
Maximum st-flow in directed planar graphs via shortest paths.
Slim Bouker, Rabie Saidi, Sadok Ben Yahia, Engelbert Mephu Nguifo:
Towards a semantic and statistical selection of association rules.
Monica Shekhar, R. A. K. Saravanaguru:
Semantic Web Search based on Ontology Modeling using Protege Reasoner.
An Liu, Vincent K. N. Lau, Liangzhong Ruan, Junting Chen, Dengkun Xiao:
Hierarchical Radio Resource Optimization for Heterogeneous Networks with Enhanced Inter-cell Interference Coordination (eICIC).
Farzin Haddadpour, Mohammad Hossein Yassaee, Mohammad Reza Aref, Amin Gohari:
When is it possible to simulate a DMC channel from another?
Justus H. Piater, Antonio Jose Rodríguez-Sánchez:
ÖAGM/AAPR 2013 - The 37th Annual Workshop of the Austrian Association for Pattern Recognition.
Fahd Ahmed Khan, Kamel Tourki, Mohamed-Slim Alouini, Khalid A. Qaraqe:
Performance of Opportunistic Fixed Gain Bidirectional Relaying With Outdated CSI.
Kaixu Zhang, Maosong Sun:
Reduce Meaningless Words for Joint Chinese Word Segmentation and Part-of-speech Tagging.

Sandeep Venkatesh, Shreyas Balakuntala, Rajarajeswari S., Nytika N. Shetty, Namratha Shetty, Neha Sudhakar:
Agent Based Intelligent Alert System for Smart-Phones.
Ahmed Alsum, Michael L. Nelson:
ArcLink: Optimization Techniques to Build and Retrieve the Temporal Web Graph.
Sheng Huang, Mikael Skoglund:
Coding for Computing Irreducible Markovian Functions of Sources with Memory.

Daqiang Zhang, Rongbo Zhu, Shuqiqiu Men, Vaskar Raychoudhury:
Query Representation with Global Consistency on User Click Graph.
Stavros G. Kolliopoulos, Yannis Moysoglou:
Integrality gaps for strengthened LP relaxations of Capacitated and Lower-Bounded Facility Location.
Wessam Afifi, Marwan Krunz:
Exploiting Self-Interference Suppression for Improved Spectrum Awareness/Efficiency in Cognitive Radio Systems.
(Withdrawn) Comparative Study of ERP Implementation Methodology Case Study: Accelerated SAP VS Dantes & Hasibuan Methodology.
(Withdrawn) Information System as a Service: Issues and Challenges.
Sheng-Ming Cai, Yi Gong:
Cognitive Beamforming for Multiple Secondary Data Streams With Individual SNR Constraints.



Sidahmed Mokeddem, Baghdad Atmani, Mostéfa Mokaddem:
Supervised Feature Selection for Diagnosis of Coronary Artery Disease Based on Genetic Algorithm.
William M. Farmer:
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation.
Timofey E. Samsonov, Vladimir N. Semin, Pavel I. Konstantinov, Mikhail I. Varentzov:
Calculation of geometric characteristics of land cover and urban canyon for multi-scale parameterization of megalopolis meteorological models.
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
On the Structure and Complexity of Rational Sets of Regular Languages.
William Weiliang Li, Yuan Shen, Ying Jun, Ying Jun Zhang, Moe Z. Win:
Robust power allocation for energy-efficient location aware networks.
Jun-ichi Yamamoto, Tomohiro I, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda:
Faster Compact On-Line Lempel-Ziv Factorization.


Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall:
Modelling and Refinement in CODA. 36-51
Frank Zeyda, Ana Cavalcanti:
Refining SCJ Mission Specifications into Parallel Handler Designs. 52-67
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Bisimilarity and refinement for hybrid(ised) logics. 84-98

Kian Hsiang Low, John M. Dolan, Pradeep K. Khosla:
Information-Theoretic Approach to Efficient Adaptive Path Planning for Mobile Robotic Environmental Sensing.
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya:
On the Decidability and Complexity of Some Fragments of Metric Temporal Logic.
Vivek Narayanan, Ishan Arora, Arjun Bhatia:
Fast and accurate sentiment classification using an enhanced Naive Bayes model.
Tien Tuan Anh Dinh, Anwitaman Datta:
Streamforce: outsourcing access control enforcement for stream data to the clouds.
Namyoon Lee, Xingqin Lin, Jeffrey G. Andrews, Robert W. Heath Jr.:
Power Control for D2D Underlaid Cellular Networks: Modeling, Algorithms and Analysis.
Shangdi Chen, Dawei Zhao:
New Construction of Authentication Codes with Arbitration from Pseudo-Symplectic Geometry over Finite Fields.

Iulia Dumitru, Grigore Stamatescu, Ioana Fagarasan, Sergiu Stelian Iliescu:
Dynamic Management Techniques for Increasing Energy Efficiency within a Data Center.
Jean-François Bercher:
Some results on a $χ$-divergence, an~extended~Fisher information and~generalized~Cramér-Rao inequalities.
Jean-François Bercher:
On some interrelations of generalized $q$-entropies and a generalized Fisher information, including a Cramér-Rao inequality.
Vikram Arkalgud Chandrasetty, Syed Mahfuzul Aziz:
Resource Efficient LDPC Decoders for Multimedia Communication.
Grigore Stamatescu, Valentin Sgarciu:
Integration of Wireless Sensor Networks with Virtual Instrumentation in a Residential Environment.
(Withdrawn) A class of equivalent idle-time-order-based routing policies for heterogeneous multi-server systems.
Anastasios Giovanidis, François Baccelli:
A Stochastic Geometry Framework for Analyzing Pairwise-Cooperative Cellular Networks.
Olesya Mryglod, Ralph Kenna, Yurij Holovatch, Bertrand Berche:
Comparison of a citation-based indicator and peer review for absolute and specific measures of research-group excellence.
Murdoch James Gabbay:
Semantics out of context: nominal absolute denotations for first-order logic and computation.

Kristin Grace Erickson:
The Story of Telebrain: A multi-performer telematic platform for performatization.
Rodrigo C. de Lamare, Raimundo Sampaio Neto:
Adaptive Reduced-Rank Processing Using a Projection Operator Based on Joint Iterative Optimization of Adaptive Filters For CDMA Interference Suppression.
Dawei Zhao, Haipeng Peng, Shudong Li, Yixian Yang:
An efficient dynamic ID based remote user authentication scheme using self-certified public keys for multi-server environment.
Melor Md. Yunus, Julian Lau Kiing Tuan, Hadi Salehi:
Using Blogs to Promote Writing Skill in ESL Classroom.
Melor Md. Yunus, Hadi Salehi, Dexter Sigan Anak John:
Using Visual Aids as a Motivational Tool in Enhancing Students Interest in Reading Literary Texts.
Minh H.-T. Nguyen, Kok Kiong Tan, Wenyu Liang, Chek-Sing Teo:
Robust Precision Positioning Control on Linear Ultrasonic Motor.
Jörg Hendrik Kappes, Markus Speth, Gerhard Reinelt, Christoph Schnörr:
Higher-order Segmentation via Multicuts.
Yu-e Sun, He Huang, Xiang-Yang Li, Zhili Chen, Wei Yang, Hongli Xu, Liusheng Huang:
Near-Optimal Truthful Auction Mechanisms in Secondary Spectrum Markets.
Minh Hoang-Tuan Nguyen, Kok Kiong Tan, Sunan Huang:
Enhanced Predictive Ratio Control of Interacting Systems.
Golnaz Badkobeh, Gabriele Fici, Zsuzsanna Lipták:
A Note on Words With the Smallest Number of Closed Factors.
Minh Hoang-Tuan Nguyen, Kok Kiong Tan:
From Parametric Model-based Optimization to robust PID Gain Scheduling.
Peter T. Breuer, Jonathan P. Bowen:
Towards Proving RISC Machine Code not Risky with respect to Memory Aliasing.
Iheb Ben Amor, Athman Bouguettaya, Mourad Ouziri, Salima Benbernou, Mohamed Nadif:
Data Leak Aware Crowdsourcing in Social Network.
Martin Wimmer, Daniel Cederman, Jesper Larsson Träff, Philippas Tsigas:
Configurable Strategies for Work-stealing.
Junzhou Zhao, John C. S. Lui, Don Towsley, Xiaohong Guan, Pinghui Wang:
Social Sensor Placement in Large Scale Networks: A Graph Sampling Perspective.
Arthur Carvalho:
A Cooperative Coevolutionary Genetic Algorithm for Learning Bayesian Network Structures.
Gregory Malecha, Adam Chlipala, Thomas Braibant, Patrick Hulin, Edward Z. Yang:
MirrorShard: Proof by Computational Reflection with Verified Hints.
Michael A. Bender, Martin Farach-Colton, Sándor P. Fekete, Jeremy T. Fineman, Seth Gilbert:
Reallocation Problems in Scheduling.

Priyanka Kumar, Sathya Peri:
A TimeStamp based Multi-version STM Protocol that satisfies Opacity and Multi-Version Permissiveness.
Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein:
Domain Types: Selecting Abstractions Based on Variable Usage.

Trevor Campbell, Miao Liu, Brian Kulis, Jonathan P. How:
Dynamic Clustering via Asymptotics of the Dependent Dirichlet Process Mixture.
Yoshua Bengio, Li Yao, Guillaume Alain, Pascal Vincent:
Generalized Denoising Auto-Encoders as Generative Models.
Sergey Bereg, Ruy Fabila Monroy, David Flores-Peñaloza, Mario A. López, Pablo Pérez-Lantero:
Drawing the double circle on a grid of minimum size.
Yang Gao, Yan Chen, K. J. Ray Liu:
On Cost-Effective Incentive Mechanisms in Microtask Crowdsourcing.
Yulia Demyanova, Helmut Veith, Florian Zuleger:
On the Concept of Variable Roles and its Use in Software Analysis.
Shigeki Akiyama, Victor Marsault, Jacques Sakarovitch:
Auto-similarity in rational base number systems.
Nuno K. Pratas, Petar Popovski:
Low-Rate Machine-Type Communication via Wireless Device-to-Device (D2D) Links.
Marco Tomamichel, Vincent Yan Fu Tan:
ε-Capacities and Second-Order Coding Rates for Channels with General State.

(Withdrawn) Two Trivial Attacks on A5/1:A GSM Stream Cipher.
Marie-Ange Lèbre, Frédéric Le Mouël, Eric Ménard:
Modèle multi-échelles pour les services dans les VANET.
Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer:
ADTool: Security Analysis with Attack- Defense Trees (Extended Version).
Ernesto Estrada:
About the Discriminant Power of the Subgraph Centrality and Other Centrality Measures About the Discriminant Power of the Subgraph Centrality and Other Centrality Measures (Working paper).
Eduardo Nobre Lages, Eduardo S. S. da Silveira, D. T. Cintra, Alejandro César Frery:
An adaptive time integration strategy based on displacement history curvature.
Loet Leydesdorff, Ping Zhou:
Measuring the Knowledge-Based Economy of China in terms of Synergy among Technological, Organizational, and Geographic Attributes of Firms.

Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler:
Reusing Precisions for Efficient Regression Verification.
Thiago Vallin Spina, Mariano Tepper, Amy Esler, Vassilios Morellas, Nikolaos Papanikolopoulos, Alexandre X. Falcão, Guillermo Sapiro:
Video Human Segmentation using Fuzzy Object Models and its Application to Body Pose Estimation of Toddlers for Behavior Studies.
Eugenio Hernández, Daniel Vera:
Greedy type algorithms for RIP matrices. A study of two selection rules.
Patrick Loiseau, Galina Schwartz, John Musacchio, Saurabh Amin, S. Shankar Sastry:
Incentive Mechanisms for Internet Congestion Management: Fixed-Budget Rebate versus Time-of-Day Pricing.
Johan Ugander, Brian Karrer, Lars Backstrom, Jon M. Kleinberg:
Graph cluster randomization: network exposure to multiple universes.
Jie Dong, David B. Smith:
Coexistence and Interference Mitigation for Wireless Body Area Networks: Improvements using On-Body Opportunistic Relaying.
Walaa Eldin Moustafa, Angelika Kimmig, Amol Deshpande, Lise Getoor:
Subgraph Pattern Matching over Uncertain Graphs with Identity Linkage Uncertainty.
Mathieu Desoubeaux, Cédric Herzet, William Puech, Gaëtan Le Guelvouit:
Enhanced blind decoding of Tardos codes with new map-based functions.
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer:
Modelling, Reduction and Analysis of Markov Automata (extended version).
Kaihua Zhang, Lei Zhang, Kin-Man Lam, David Zhang:
A Local Active Contour Model for Image Segmentation with Intensity Inhomogeneity.
Sahar A. Mokhtar, Alaa M. Elsayad:
Predicting the Severity of Breast Masses with Data Mining Methods.
Nora Y. Ibrahim, Sahar A. Mokhtar, Hany M. Harb:
Towards an Ontology based integrated Framework for Semantic Web.
Prasenjit Chanak, Tuhina Samanta, Indrajit Banerjee:
Fault-tolerant multipath routing scheme for energy efficient wireless sensor networks.
Celestine Periale Maguedong-Djoumessi, José Hernández-Orallo:
Test cost and misclassification cost trade-off using reframing.
Mohamed Ahmed, Stefano Traverso, Paolo Giaccone, Emilio Leonardi, Saverio Niccolini:
Why Temporal Locality Matters: Evaluating Cache Performance for Content-on-Demand Distribution.
Guillaume Mercère:
Regression techniques for subspace-based black-box state-space system identification: an overview.

Uwe Aickelin, Julie Greensmith, Jamie Twycross:
Immune System Approaches to Intrusion Detection - A Review (ICARIS).
Peer-Olaf Siebers, Uwe Aickelin, David Menachof, Galina Sherman, Peter Zimmerman:
Modelling and Analysing Cargo Screening Processes: A Project Outline.
Michele Coscia, Giulio Rossetti, Diego Pennacchioli, Damiano Ceccarelli, Fosca Giannotti:
"You Know Because I Know": a Multidimensional Network Approach to Human Resources Problem.
Pavels Zaicenkovs, Bert Gijsbers, Clemens Grelck, Olga Tveretina, Alexander V. Shafarenko:
Communication-Centric Solution for Cholesky Decomposition: Industrial Case Study for Coordination Programming.
Shawn Mankad, George Michailidis:
Structural and Functional Discovery in Dynamic Networks with Non-negative Matrix Factorization.
Kai Cai, Hideaki Ishii:
Average Consensus on Arbitrary Strongly Connected Digraphs with Time-Varying Topologies.


Jianwei Xie, Sennur Ulukus:
Secure Degrees of Freedom of K-User Gaussian Interference Channels: A Unified View.
Balaji Lakshminarayanan, Yee Whye Teh:
Inferring ground truth from multi-annotator ordinal data: a probabilistic approach.
Gregory Ely, Shuchin Aeron:
Complexity penalized hydraulic fracture localization and moment tensor estimation under limited model information.
Zeinab Taghavi, Narjes S. Movahedi, Sorin Draghici, Hamidreza Chitsaz:
Distilled Single Cell Genome Sequencing and De Novo Assembly for Sparse Microbial Communities.
Samuel Reid:
On Generalizing a Temporal Formalism for Game Theory to the Asymptotic Combinatorics of S5 Modal Frames.
Lilian Janin, Giovanna Rosone, Anthony J. Cox:
Adaptive reference-free compression of sequence quality scores.
Yves Berset, Matús Medo:
The effect of the initial network configuration on preferential attachment.
Akshay Krishnamurthy, James Sharpnack, Aarti Singh:
Recovering Graph-Structured Activations using Adaptive Compressive Measurements.
Nathan D. Monnig, Bengt Fornberg, François G. Meyer:
Inverting Non-Linear Dimensionality Reduction with Scale-Free Radial Basis Interpolation.
Richard J. Hughes, Jane E. Nordholt, Kevin P. McCabe, Raymond T. Newell, Charles G. Peterson, Rolando D. Somma:
Network-Centric Quantum Communications with Application to Critical Infrastructure Protection.
Adel Javanmard, Andrea Montanari:
Model Selection for High-Dimensional Regression under the Generalized Irrepresentability Condition.
Hai-Feng Zhang, Zimo Yang, Zhi-Xi Wu, Bing-Hong Wang, Tao Zhou:
Braess's Paradox in Epidemic Game: Better Condition Results in Less Payoff.

Renaud Lambiotte, Lionel Tabourier, Jean-Charles Delvenne:
Burstiness and spreading on temporal networks.



Maris Ozols, Graeme Smith, John A. Smolin:
Bound entangled states with secret key and their classical counterpart.
Rida Laraki, Panayotis Mertikopoulos:
Inertial game dynamics and applications to constrained optimization.
Andris Ambainis, Kaspars Balodis, Janis Iraids, Raitis Ozols, Juris Smotrovs:
Parameterized Quantum Query Complexity of Graph Collision.
Mohammad Gheshlaghi Azar, Alessandro Lazaric, Emma Brunskill:
Regret Bounds for Reinforcement Learning with Policy Advice.
Coco Krumme, Alejandro Llorente, Manuel Cebrián, Alex Pentland, Esteban Moro Egido:
The predictability of consumer visitation patterns.
Lazaros K. Gallos, Fabricio Q. Potiguar, José S. Andrade Jr., Hernán A. Makse:
IMDB network revisited: unveiling fractal and modular properties from a typical small-world network.
Fabrizio Lecci, Alessandro Rinaldo, Larry A. Wasserman:
Statistical Analysis of Metric Graph Reconstruction.
Alessandro Mirone, Emmanuel Brun, Paola Coan:
A Convex Functional for Image Denoising based on Patches with Constrained Overlaps and its vectorial application to Low Dose Differential Phase Tomography.
Attila Szolnoki, Matjaz Perc:
Decelerated invasion and waning moon patterns in public goods games with delayed distribution.
Nikolai Krivulin:
A constrained tropical optimization problem: complete solution and application example.
Alessandro Attanasi, Andrea Cavagna, Lorenzo Del Castello, Irene Giardina, Asja Jelic, Stefania Melillo, Leonardo Parisi, Edward Shen, Edmondo Silvestri, Massimiliano Viale:
Tracking in three dimensions via multi-path branching.
Julian Mautner, Adi Makmal, Daniel Manzano, Markus Tiersch, Hans-J. Briegel:
Projective simulation for classical learning agents: a comprehensive investigation.
Carsten W. Scherer:
Structured H∞-Optimal Control for Nested Interconnections: A State-Space Solution.
Nikolaos Tziortziotis, Christos Dimitrakakis, Konstantinos Blekas:
Cover Tree Bayesian Reinforcement Learning.
Rajat Shuvro Roy, Debashish Bhattacharya, Alexander Schliep:
Turtle: Identifying frequent k-mers with cache-efficient algorithms.
François Bertault, Mirka Miller, Hebert Pérez-Rosés, Ramiro Feria-Purón, Elaheh Vaezpour:
A Heuristic for Magic and Antimagic Graph Labellings.
João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel:
Distributed Optimization With Local Domains: Applications in MPC and Network Flows.
Andrew S. Lan, Christoph Studer, Andrew E. Waters, Richard G. Baraniuk:
Joint Topic Modeling and Factor Analysis of Textual Information and Graded Response Data.
Vasanthan Raghavan, Greg Ver Steeg, Aram Galstyan, Alexander G. Tartakovsky:
Modeling Temporal Activity Patterns in Dynamic Social Networks.


Gregory Ely, Shuchin Aeron:
Robust Hydraulic Fracture Monitoring (HFM) of Multiple Time Overlapping Events Using a Generalized Discrete Radon Transform.
Gregory Ely, Shuchin Aeron, Eric L. Miller:
Exploiting Structural Complexity for Robust and Rapid Hyperspectral Imaging.
Jonathan D. Hogg, Jennifer A. Scott:
Compressed threshold pivoting for sparse symmetric indefinite systems.
Michele Starnini, Anna Machens, Ciro Cattuto, Alain Barrat, Romualdo Pastor-Satorras:
Immunization strategies for epidemic processes in time-varying contact networks.
George A. Lozano:
Ethics of using language editing services in an era of digital communication and heavily multiauthored papers.
Po-Ling Loh, Martin J. Wainwright:
Regularized M-estimators with nonconvexity: Statistical and algorithmic theory for local optima.

Kristof Z. Szalay, Peter Csermely:
Perturbation centrality: a novel centrality measure obtained by the general network dynamics tool, Turbine.
Guiomar Niso, Ricardo Bruña, Ernesto Pereda, Ricardo Gutiérrez, Ricardo Bajo, Fernando Maestú, Francisco del Pozo:
HERMES: towards an integrated toolbox to characterize functional and effective brain connectivity.

Vinh Phu Nguyen, Pierre Kerfriden, Stéphane P. A. Bordas:
Isogeometric cohesive elements for two and three dimensional composite delamination analysis.
Bosiljka Tadic, Milovan Suvakov:
Can Human-Like Bots Control Collective Mood: Agent-Based Simulations of Online Chats.
Naoki Masuda, Konstantin Klemm, Víctor M. Eguíluz:
Temporal networks: slowing down diffusion by long lasting interactions.
Grady I. Lemoine, M. Yvonne Ou:
Finite Volume Modeling of Poroelastic-Fluid Wave Propagation with Mapped Grids.
Marko Seslija, Jacquelien M. A. Scherpen, Arjan van der Schaft:
Reaction-Diffusion Systems as Complex Networks.
Rémi Louf, Pablo Jensen, Marc Barthelemy:
Emergence of hierarchy in cost driven growth of spatial networks.
Eric C. Chi, Kenneth Lange:
Stable Estimation of a Covariance Matrix Guided by Nuclear Norm Penalties.
Giovanni Birolo:
A Witness Extraction Technique by Proof Normalization Based on Interactive Realizability.
Walter Quattrociocchi, Guido Caldarelli, Antonio Scala:
Self-healing networks: redundancy and structure.




Fada Li, Wansu Bao, Xiangqun Fu, Yuchao Zhang, Tan Li:
A subexponential-time quantum algorithm for LWE problem.
Ameer K. Mulla, Rachel K. Kalaimani, Debraj Chakraborty, Madhu N. Belur:
Formation control with pole placement for multi-agent systems.

Giovanna Miritello, Rubén Lara, Esteban Moro Egido:
Time allocation in social networks: correlation between social structure and human communication dynamics.
Roarke Horstmeyer, Benjamin Judkewitz, Ivo M. Vellekoop, Changhuei Yang:
Physical key-protected one-time pad.
Piotr Fronczak, Agata Fronczak, Maksymilian Bujok:
Exponential random graph models for networks with community structure.
Martin Horsch, Stefan Becker, Juan Manuel Castillo, Stephan Deublein, Agnes Fröscher, Steffen Reiser, Stephan Werth, Jadran Vrabec, Hans Hasse:
Molecular modelling and simulation of electrolyte solutions, biomolecules, and wetting of component surfaces.
I. Geisel, Kai Cordes, J. Mahnke, S. Jöllenbeck, Jörn Ostermann, J. Arlt, Wolfgang Ertmer, Carsten Klempt:
Evolutionary optimization of an experimental apparatus.
LeRoy Beasely, Troy Lee, Hartmut Klauck, Dirk Oliver Theis:
Dagstuhl Report 13082: Communication Complexity, Linear Optimization, and lower bounds for the nonnegative rank of matrices.
R. Meyer:
Efficient Parallelization of Short-Range Molecular Dynamics Simulations on Many-Core Systems.
Emmanuel Abbe, Andrea Montanari:
Conditional Random Fields, Planted Satisfaction, and Entropy Concentration.

Pablo Piedrahíta, Javier Borge-Holthoefer, Yamir Moreno, Alex Arenas:
Modeling self-sustained activity cascades in socio-technical networks.
Hiromu Mori, Yoshihiro Matsumoto, Victor V. Kryssanov, Eric W. Cooper, Hitoshi Ogawa, Shoji Makino, Zbigniew R. Struzik, Tomasz M. Rutkowski:
Multi-command Tactile Brain Computer Interface: A Feasibility Study.
James P. Gleeson, Jonathan Ward, Kevin P. O'Sullivan, William T. Lee:
Competition-induced criticality in a model of meme popularity.
Michiaki Hamada, Hisanori Kiryu, Wataru Iwasaki, Kiyoshi Asai:
Generalized Centroid Estimators in Bioinformatics.

Gérard Henry Edmond Duchamp, Ladji Kane, Vincel Hoang Ngoc Minh, Christophe Tollu:
Dual bases for non commutative symmetric and quasi-symmetric functions via monoidal factorization.
Chen Bui, Gérard Henry Edmond Duchamp, Vincel Hoang Ngoc Minh:
Schützenberger's factorization on the (completed) Hopf algebra of $q-$stuffle product.
Shantanav Chakraborty, Subhashish Banerjee, Satyabrata Adhikari, Atul Kumar:
Entanglement in the Grover's Search Algorithm.

Evguenii V. Kurmyshev, Héctor A. Juárez:
What is a leader of opinion formation in bounded confidence models?


Bruno Ziliotto:
Zero-sum repeated games: counterexamples to the existence of the asymptotic value and the conjecture maxmin=lim v(n).
Martin Rosvall, Alcides Viamontes Esquivel, Andrea Lancichinetti, Jevin D. West, Renaud Lambiotte:
Networks with Memory.
Marcos A. Kiwi, Cristina G. Fernandes:
Repetition-free longest common subsequence of random sequences.
Christopher J. Paciorek, Benjamin Lipshitz, Wei Zhuo, Prabhat, Cari Kaufman, Rollin C. Thomas:
Parallelizing Gaussian Process Calculations in R.
Joshua Garland, Elizabeth Bradley:
On the importance of nonlinear modeling in computer performance prediction.
Mohammadreza Chamanbaz, Fabrizio Dabbene, Roberto Tempo, Venkatakrishnan Venkataramanan, Qing-Guo Wang:
A Statistical Learning Theory Approach for Uncertain Linear and Bilinear Matrix Inequalities.
Yuchen Zhang, John C. Duchi, Martin J. Wainwright:
Divide and Conquer Kernel Ridge Regression: A Distributed Algorithm with Minimax Optimal Rates.
Jean-François Bercher:
Some properties of generalized Fisher information in the context of nonextensive thermostatistics.
Wenyi Zhang, Wei Guan, Jihui Ma, Junfang Tian:
A nonlinear pair-wise swapping dynamic to model the selfish rerouting evolutionary game.
Neven Caplar, Mirko Suznjevic, Maja Matijasevic:
Analysis of player's in-game performance vs rating: Case study of Heroes of Newerth.
L. Sunil Chandran, Wilfried Imrich, Rogers Mathew, Deepak Rajendraprasad:
Boxicity and Cubicity of Product Graphs.
Christian Doerr, Norbert Blenn, Piet Van Mieghem:
Lognormal Infection Times of Online Information Spread.
Kerstin Dächert, Kathrin Klamroth:
A linear bound on the number of scalarizations needed to solve discrete tricriteria optimization problems.
Fernando G. S. L. Brandão, Michal Horodecki, Nelly Huei Ying Ng, Jonathan Oppenheim, Stephanie Wehner:
The second laws of quantum thermodynamics.
Shie Mannor, Vianney Perchet, Gilles Stoltz:
A Primal Condition for Approachability with Partial Monitoring.
Joshua Garland, Ryan G. James, Elizabeth Bradley:
Determinism, Complexity, and Predictability in Computer Performance.
Taha Yasseri, Anselm Spoerri, Mark Graham, János Kertész:
The most controversial topics in Wikipedia: A multilingual and geographical analysis.
Sijia Liu, Makan Fardad, Engin Masazade, Pramod K. Varshney:
Optimal Periodic Sensor Scheduling in Large-Scale Dynamical Networks.
Ruonan Wang, Christopher Harris:
Scaling Radio Astronomy Signal Correlation on Heterogeneous Supercomputers Using Various Data Distribution Methodologies.

Yin Song, Longbing Cao, Xuhui Fan, Wei Cao, Jian Zhang:
Characterizing A Database of Sequential Behaviors with Latent Dirichlet Hidden Markov Models.
Christopher Aicher, Abigail Z. Jacobs, Aaron Clauset:
Adapting the Stochastic Block Model to Edge-Weighted Networks.
Jie Chen, Nannan Cao, Kian Hsiang Low, Ruofei Ouyang, Colin Keng-Yan Tan, Patrick Jaillet:
Parallel Gaussian Process Regression with Low-Rank Covariance Matrix Approximations.
Shu-Zhen Lai, Hou-Biao Li, Zu-Tao Zhang:
A Symmetric Rank-one Quasi Newton Method for Non-negative Matrix Factorization.



John C. Duchi, Michael I. Jordan, Martin J. Wainwright:
Local Privacy and Minimax Bounds: Sharp Rates for Probability Estimation.
Ron Aharoni, Pierre Charbit, David M. Howard:
On a Generalization of the Ryser-Brualdi-Stein Conjecture.

Michael J. Barber:
Detecting hierarchical and overlapping network communities using locally optimal modularity changes.
Frédéric Chazal, Marc Glisse, Catherine Labruère, Bertrand Michel:
Optimal rates of convergence for persistence diagrams in Topological Data Analysis.
Zhengchao Wei, Zhi Ma:
Easily Implemented Rate Compatible Reconciliation Protocol for Quantum Key Distribution.
Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solernó:
Effective Differential Nullstellensatz for Ordinary DAE Systems over the Complex Numbers.
Cristobal A. Navarro, Fabrizio Canfora, Nancy Hitschfeld-Kahler:
Multi-core computation of transfer matrices for strip lattices in the Potts model.
Xiao Liang, Jichang Zhao, Li Dong, Ke Xu:
Unraveling the origin of exponential law in intra-urban human mobility.




Maxime Viallet, Isabelle Baraffe, Rolf Walder:
Comparison of different nonlinear solvers for 2D time-implicit stellar hydrodynamics.
Daniel O. Cajueiro, Roberto F. S. Andrade:
Controlling self-organized criticality in complex networks.
Efstratios Rappos, Stephan Robert:
Using GPU Simulation to Accurately Fit to the Power-Law Distribution.
John Kit Tang, Ilias Leontiadis, Salvatore Scellato, Vincenzo Nicosia, Cecilia Mascolo, Mirco Musolesi, Vito Latora:
Applications of Temporal Graph Metrics to Real-World Networks.
Markus Gusenbauer, Harald Özelt, Johann Fischbacher, Franz Reichel, Lukas Exl, Simon Bance, Nadezhda Kataeva, Claudia Binder, Hubert Brückl, Thomas Schrefl:
Simulation of magnetic active polymers for versatile microfluidic devices.
Markus Gusenbauer, Ha Nguyen, Franz Reichel, Lukas Exl, Simon Bance, Johann Fischbacher, Harald Özelt, Alexander Kovacs, Martin Brandl, Thomas Schrefl:
Guided self-assembly of magnetic beads for biomedical applications.
Mouhamed Abdulla, Yousef R. Shayan:
Harnessing Simultaneously the Benefits of UWB and MBWA: A Practical Scenario.
Ansuman Adhikary, Giuseppe Caire:
Joint Spatial Division and Multiplexing: Opportunistic Beamforming and User Grouping.
I. Ayachi, Ryan Kammarti, Mekki Ksouri, Pierre Borne:
Harmony search to solve the container storage problem with different container types.
Liang Heng, Grace Xingxin Gao:
Accuracy of Range-Based Cooperative Localization in Wireless Sensor Networks: A Lower Bound Analysis.
Ying Wang, Chunhong Pan, Shiming Xiang, Feiyun Zhu:
Robust Hyperspectral Unmixing with Correntropy based Metric.
Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa:
A hybrid approach for semantic enrichment of MathML mathematical expressions.
Cenk M. Yetis, Yong Zeng, Kushal Anand, Yong Liang Guan, Erry Gunawan:
Sub-Stream Fairness and Numerical Correctness in MIMO Interference Channels.
Holger Hermanns, Jan Krcál, Jan Kretínský:
Compositional Verification and Optimization of Interactive Markov Chains.
Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter:
Algebraic Properties of Qualitative Spatio-Temporal Calculi.
Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni:
Local and Global Analysis of Parametric Solid Sweeps.
Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff:
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems.
Roberto Di Pietro, Flavio Lombardi, Antonio Villani:
CUDA Leaks: Information Leakage in GPU Architectures.
Anwarul Azim:
Performance of Single User vs. Multiuser Modulation in Wireless Multicarrier (MC) Communications.
Jonathan Stuart Ward, Adam Barker:
Monitoring Large-Scale Cloud Systems with Layered Gossip Protocols.
Zhe Chen, Daqiang Zhang, Rongbo Zhu, Yinxue Ma, Ping Yin, Feng Xie:
A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks.

Galina Sherman, Peer-Olaf Siebers, David Menachof, Uwe Aickelin:
Evaluating Different Cost-Benefit Analysis Methods for Port Security Operations.
Adrian Adewunmi, Uwe Aickelin:
Investigating the effectiveness of Variance Reduction Techniques in Manufacturing, Call Center and Cross-docking Discrete Event Simulation Models.
Marco Canini, Petr Kuznetsov, Dan Levin, Stefan Schmid:
A Distributed SDN Control Plane for Consistent Policy Updates.
Peter Grindrod, Desmond J. Higham:
Dynamical Systems to Monitor Complex Networks in Continuous Time.
Amanda M. Whitbrook, Uwe Aickelin, Jonathan M. Garibaldi:
Real-world Transfer of Evolved Artificial Immune System Behaviours between Small and Large Scale Robotic Platforms.
Tao Zhang, Peer-Olaf Siebers, Uwe Aickelin:
Modelling Electricity Consumption in Office Buildings: An Agent Based Approach.
Stefan Fafianie, Hans L. Bodlaender, Jesper Nederlof:
Speeding-up Dynamic Programming with Representative Sets - An Experimental Evaluation of Algorithms for Steiner Tree on Tree Decompositions.
Chris M. Roadknight, Uwe Aickelin, Galina Sherman:
Validation of a Microsimulation of the Port of Dover.
Yihui Liu, Uwe Aickelin, Jan Feyereisl, Lindy Durrant:
Wavelet feature extraction and genetic algorithm for biomarker detection in colorectal cancer data.
Feng Xia, Linqiang Wang, Daqiang Zhang, Xue Zhang, Ruixia Gao:
Ada-MAC: An Adaptive MAC Protocol for Real-time and Reliable Health Monitoring, .
Simon Miller, Susan Appleby, Jonathan M. Garibaldi, Uwe Aickelin:
Towards a More Systematic Approach to Secure Systems Design and Analysis.
Grazziela P. Figueredo, Peer-Olaf Siebers, Uwe Aickelin:
Investigating Mathematical Models of Immuno-Interactions with Early-Stage Cancer under an Agent-Based Modelling Perspective.
Feng Gu, Julie Greensmith, Uwe Aickelin:
Theoretical formulation and analysis of the deterministic dendritic cell algorithm.
Xiyang Liu, Zhongjie Ren, Xiuling Chang, Haichang Gao, Uwe Aickelin:
Draw a line on your PDA to authenticate.
Anirudha Majumdar, Ram Vasudevan, Mark M. Tobenkin, Russ Tedrake:
Technical Report: Convex Optimization of Nonlinear Feedback Controllers via Occupation Measures.
Liming Wang, Xiuling Chang, Zhongjie Ren, Haichang Gao, Xiyang Liu, Uwe Aickelin:
Against Spyware Using CAPTCHA in Graphical Password Scheme.
Farhan Sahito, Wolfgang Slany:
Advanced Personnel Vetting Techniques in Critical Multi-Tennant Hosted Computing Environments.
Michael A. Demetriou:
Adaptation and optimization of synchronization gains in networked distributed parameter systems.
Kevin Judd, Michael Small, Thomas Stemler:
What exactly are the properties of scale-free and other networks?

Tian Qiu, Tiantian Wang, Zi-Ke Zhang, Li-Xin Zhong, Guang Chen:
Heterogeneity Involved Network-based Algorithm Leads to Accurate and Personalized Recommendations.
James P. Gleeson, Davide Cellai, Jukka-Pekka Onnela, Mason A. Porter, Felix Reed-Tsochas:
A Simple Generative Model of Collective Online Behaviour.
Luis Sola, Miguel Romance, Regino Criado, Julio Flores, Alejandro García del Amo, Stefano Boccaletti:
Eigenvector centrality of nodes in multiplex networks.
Jason D. Lee, Yuekai Sun, Jonathan E. Taylor:
On model selection consistency of regularized M-estimators.
Duanbing Chen, Rui Xiao, An Zeng, Yi-Cheng Zhang:
Path diversity improves the identification of influential spreaders.






Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
